789630fccc5cfa60188c4979be8fbb19f8719577 - jeetools/webtools.javaee - Git at Google

commit: 789630fccc5cfa60188c4979be8fbb19f8719577
[log]
author: pwalker <pwalker>
Wed Mar 10 23:03:19 2004 +0000
committer: pwalker <pwalker>
Wed Mar 10 23:03:19 2004 +0000
tree: 879ae3ec542aaa971cb32b47a24b05c2b34db40f
parent: 16fd6fa6a4710f9d55dbd990951eda08c2ff9135 [diff]

fixed .options file due to rename of plugin

plugins/org.eclipse.jem.ui/.options[diff]

1 file changed

tree: 879ae3ec542aaa971cb32b47a24b05c2b34db40f