diff options
author | deboer | 2006-11-07 21:31:08 +0000 |
---|---|---|
committer | deboer | 2006-11-07 21:31:08 +0000 |
commit | 7c90f55d6ff6ac902f88d38046daaa2531c88812 (patch) | |
tree | 67ead0a4fdc0f2d4654ba8def0368c216a932dd2 /plugins/org.eclipse.jst.server.generic.ui/src/org/eclipse/jst/server/generic/ui/internal/GenericUiPlugin.java | |
parent | 77f17528decf741d1b3ceeb236f2dd5cd09ab66b (diff) | |
download | webtools.servertools-7c90f55d6ff6ac902f88d38046daaa2531c88812.tar.gz webtools.servertools-7c90f55d6ff6ac902f88d38046daaa2531c88812.tar.xz webtools.servertools-7c90f55d6ff6ac902f88d38046daaa2531c88812.zip |
[161812] Updated schema doc for version attribute
Diffstat (limited to 'plugins/org.eclipse.jst.server.generic.ui/src/org/eclipse/jst/server/generic/ui/internal/GenericUiPlugin.java')
0 files changed, 0 insertions, 0 deletions