david-PC\david
2018-06-12 cc7f57619fd09f68582b748a3580402717b84c50
source/my/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.wst.jsdt.web.core.prefs
@@ -1,3 +1,3 @@
#Fri Jun 01 15:23:50 CST 2018
#Wed Jun 06 11:39:58 CST 2018
jspIndexState=1
eclipse.preferences.version=1