tracesrv/tracecompiler/src/com.nokia.tracecompiler/.settings/org.eclipse.jdt.ui.prefs
changeset 56 aa2539c91954
parent 41 838cdffd57ce
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tracesrv/tracecompiler/src/com.nokia.tracecompiler/.settings/org.eclipse.jdt.ui.prefs	Fri Oct 08 14:56:39 2010 +0300
@@ -0,0 +1,3 @@
+#Tue Apr 14 13:07:47 EEST 2009
+eclipse.preferences.version=1
+internal.default.compliance=default