# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1366125366 -7200
# Node ID 9d74a0d7b231d054925990a73be3b9d2c42c0d0f
# Parent  a38d748d41308ee1eb57f874846b99678ecf4bdc
Add settings to use US-ASCII as the default encoding of the projects

diff -r a38d748d4130 -r 9d74a0d7b231 mx/eclipse-settings/org.eclipse.core.resources.prefs
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mx/eclipse-settings/org.eclipse.core.resources.prefs	Tue Apr 16 17:16:06 2013 +0200
@@ -0,0 +1,2 @@
+eclipse.preferences.version=1
+encoding/<project>=US-ASCII
\ No newline at end of file