Skip to main content

This CGIT instance is deprecated, and repositories have been moved to Gitlab or Github. See the repository descriptions for specific locations.

summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authornitind2008-11-13 16:39:16 +0000
committernitind2008-11-13 16:39:16 +0000
commit1c6bb83666bbc4802b39c6e8638585227a7b0b92 (patch)
treea80abb3f4dd6132e2eb6d8250b9b0321bcca888c /development/org.eclipse.wst.sse.unittests/.settings/org.eclipse.jdt.ui.prefs
parentc316f6cb104d40a898b8d86cd048983fbc77cbf2 (diff)
downloadwebtools.sourceediting-200811131640.tar.gz
webtools.sourceediting-200811131640.tar.xz
webtools.sourceediting-200811131640.zip
This commit was manufactured by cvs2svn to create tag 'v200811131640'.v200811131640
Diffstat (limited to 'development/org.eclipse.wst.sse.unittests/.settings/org.eclipse.jdt.ui.prefs')
-rw-r--r--development/org.eclipse.wst.sse.unittests/.settings/org.eclipse.jdt.ui.prefs3
1 files changed, 0 insertions, 3 deletions
diff --git a/development/org.eclipse.wst.sse.unittests/.settings/org.eclipse.jdt.ui.prefs b/development/org.eclipse.wst.sse.unittests/.settings/org.eclipse.jdt.ui.prefs
deleted file mode 100644
index ef2ac6532b..0000000000
--- a/development/org.eclipse.wst.sse.unittests/.settings/org.eclipse.jdt.ui.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Apr 04 03:36:39 EDT 2006
-eclipse.preferences.version=1
-internal.default.compliance=default

Back to the top