diff mxtool/eclipse-settings/org.eclipse.core.resources.prefs @ 22022:1e72b0915423

moved mx.graal/eclipse-settings to mxtool/eclipse-settings
author Doug Simon <doug.simon@oracle.com>
date Thu, 18 Jun 2015 23:21:34 +0200
parents mx.graal/eclipse-settings/org.eclipse.core.resources.prefs@66dd063eb6a0
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mxtool/eclipse-settings/org.eclipse.core.resources.prefs	Thu Jun 18 23:21:34 2015 +0200
@@ -0,0 +1,2 @@
+eclipse.preferences.version=1
+encoding/<project>=UTF-8