diff options
| author | kchong | 2007-06-03 01:09:36 +0000 |
|---|---|---|
| committer | kchong | 2007-06-03 01:09:36 +0000 |
| commit | bfe44cb1c2e857133211e15f966089b7bf9be8da (patch) | |
| tree | 3fc585f41b184d5ad6755a1a1167eb4a555e88e1 /bundles/org.eclipse.wst.command.env/.settings/org.eclipse.jdt.ui.prefs | |
| parent | 690cd4abb8cc69163556771ca2f15a439f783aab (diff) | |
| download | webtools.webservices-200706030115.tar.gz webtools.webservices-200706030115.tar.xz webtools.webservices-200706030115.zip | |
This commit was manufactured by cvs2svn to create tag 'v200706030115'.v200706030115
Diffstat (limited to 'bundles/org.eclipse.wst.command.env/.settings/org.eclipse.jdt.ui.prefs')
| -rw-r--r-- | bundles/org.eclipse.wst.command.env/.settings/org.eclipse.jdt.ui.prefs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/bundles/org.eclipse.wst.command.env/.settings/org.eclipse.jdt.ui.prefs b/bundles/org.eclipse.wst.command.env/.settings/org.eclipse.jdt.ui.prefs deleted file mode 100644 index d6f09abab..000000000 --- a/bundles/org.eclipse.wst.command.env/.settings/org.eclipse.jdt.ui.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Tue Jan 31 00:16:54 EST 2006 -eclipse.preferences.version=1 -internal.default.compliance=default |