commit edbc97e698a38ff065fbb0eb779e6c5172a5298f
author david_williams <david_williams> Wed Jul 23 04:11:42 2008 +0000
committer david_williams <david_williams> Wed Jul 23 04:11:42 2008 +0000
tree f1978d3f66cb3870f76654faaf2c47af25e13f0c
parent 3c7e0da0b2150ac77d27a6a771eaa7e4d62f89a5

moving to wtp (since only we use/maintain it)

org.eclipse.wtp.releng.versionchecker/.settings/org.eclipse.jdt.ui.prefs

diff --git a/org.eclipse.wtp.releng.versionchecker/.settings/org.eclipse.jdt.ui.prefs b/org.eclipse.wtp.releng.versionchecker/.settings/org.eclipse.jdt.ui.prefs
new file mode 100644
index 0000000..5d8d5be
--- /dev/null
+++ b/org.eclipse.wtp.releng.versionchecker/.settings/org.eclipse.jdt.ui.prefs
@@ -0,0 +1,3 @@
+#Sun Dec 10 14:53:23 EST 2006
+eclipse.preferences.version=1
+internal.default.compliance=default