diff mx.truffle/eclipse-settings/org.eclipse.core.resources.prefs @ 21961:e61e89bd867a

rename mx to mx.truffle
author Mick Jordan <mick.jordan@oracle.com>
date Fri, 19 Jun 2015 12:22:49 -0700
parents mx/eclipse-settings/org.eclipse.core.resources.prefs@f11d3d5248b5
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mx.truffle/eclipse-settings/org.eclipse.core.resources.prefs	Fri Jun 19 12:22:49 2015 -0700
@@ -0,0 +1,2 @@
+eclipse.preferences.version=1
+encoding/<project>=UTF-8