diff options
| author | nitind | 2007-12-18 19:00:51 +0000 |
|---|---|---|
| committer | nitind | 2007-12-18 19:00:51 +0000 |
| commit | a8917434f20ed2c52ffb7c2b301f5d03a252233b (patch) | |
| tree | f042ccbd0325f7329123ed79310e1e5fac73d14c /bundles/org.eclipse.jst.jsp.ui/.settings/org.eclipse.pde.prefs | |
| parent | f211095b13d23eaa11a67673e5918bafd532cae0 (diff) | |
| download | webtools.sourceediting-200712181901.tar.gz webtools.sourceediting-200712181901.tar.xz webtools.sourceediting-200712181901.zip | |
This commit was manufactured by cvs2svn to create tag 'v200712181901'.v200712181901
Diffstat (limited to 'bundles/org.eclipse.jst.jsp.ui/.settings/org.eclipse.pde.prefs')
| -rw-r--r-- | bundles/org.eclipse.jst.jsp.ui/.settings/org.eclipse.pde.prefs | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/bundles/org.eclipse.jst.jsp.ui/.settings/org.eclipse.pde.prefs b/bundles/org.eclipse.jst.jsp.ui/.settings/org.eclipse.pde.prefs deleted file mode 100644 index fc522bba76..0000000000 --- a/bundles/org.eclipse.jst.jsp.ui/.settings/org.eclipse.pde.prefs +++ /dev/null @@ -1,16 +0,0 @@ -#Mon Apr 17 02:01:33 EDT 2006 -compilers.incompatible-environment=0 -compilers.p.build=0 -compilers.p.deprecated=1 -compilers.p.illegal-att-value=0 -compilers.p.no-required-att=0 -compilers.p.not-externalized-att=0 -compilers.p.unknown-attribute=0 -compilers.p.unknown-class=0 -compilers.p.unknown-element=0 -compilers.p.unknown-resource=0 -compilers.p.unresolved-ex-points=0 -compilers.p.unresolved-import=0 -compilers.p.unused-element-or-attribute=0 -compilers.use-project=true -eclipse.preferences.version=1 |