d246b4bba103857e4865fbd4c002c46771f23d9d - jeetools/webtools.javaee - Git at Google

commit: d246b4bba103857e4865fbd4c002c46771f23d9d
[log]
author: rkulp <rkulp>
Wed Jun 09 23:08:07 2004 +0000
committer: rkulp <rkulp>
Wed Jun 09 23:08:07 2004 +0000
tree: c32632ef049d651e8ea7fc71ddaeb41adeb2ceec
parent: 892a11bcbf9dc03c32cbdd2b95199ce1cfec2b92 [diff]

Changed to use official API for check if in development mode.

plugins/org.eclipse.jem.proxy/proxy/org/eclipse/jem/internal/proxy/core/ProxyPlugin.java[diff]

1 file changed

tree: c32632ef049d651e8ea7fc71ddaeb41adeb2ceec