plugins/org.w3c.css/.settings/org.eclipse.pde.core.prefs
changeset 470 d4809db37847
parent 191 61c04b3eb3e7
child 493 e4a4cac2cdeb
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/plugins/org.w3c.css/.settings/org.eclipse.pde.core.prefs	Thu Aug 19 17:48:04 2010 -0700
@@ -0,0 +1,5 @@
+#Wed Feb 24 10:41:50 PST 2010
+eclipse.preferences.version=1
+pluginProject.equinox=false
+pluginProject.extensions=false
+resolve.requirebundle=false