ayé, on joue du musicxml :-)
[minwii.git] / .settings / org.eclipse.core.resources.prefs
index 6a3e2eb..abf067d 100644 (file)
@@ -1,5 +1,6 @@
-#Mon Dec 07 03:31:40 CET 2009\r
+#Mon Feb 08 10:43:31 CET 2010\r
 eclipse.preferences.version=1\r
 eclipse.preferences.version=1\r
+encoding//src/gui/MINWiiDialog.py=utf-8\r
 encoding//src/mxmMidi/DataTypeConverters.py=ISO-8859-1\r
 encoding//src/mxmMidi/EventDispatcher.py=ISO-8859-1\r
 encoding//src/mxmMidi/MidiFileParser.py=ISO-8859-1\r
 encoding//src/mxmMidi/DataTypeConverters.py=ISO-8859-1\r
 encoding//src/mxmMidi/EventDispatcher.py=ISO-8859-1\r
 encoding//src/mxmMidi/MidiFileParser.py=ISO-8859-1\r
@@ -12,3 +13,4 @@ encoding//src/mxmMidi/RawInstreamFile.py=ISO-8859-1
 encoding//src/mxmMidi/RawOutstreamFile.py=ISO-8859-1\r
 encoding//src/mxmMidi/__init__.py=ISO-8859-1\r
 encoding//src/mxmMidi/constants.py=ISO-8859-1\r
 encoding//src/mxmMidi/RawOutstreamFile.py=ISO-8859-1\r
 encoding//src/mxmMidi/__init__.py=ISO-8859-1\r
 encoding//src/mxmMidi/constants.py=ISO-8859-1\r
+encoding//src/songs/musicxmltosong.py=utf-8\r