commit | 7f9705f9e30bee640d17942326d45bcbe39070a4 | [log] [tgz] |
---|---|---|
author | david_williams <david_williams> | Mon Apr 16 01:25:53 2007 +0000 |
committer | david_williams <david_williams> | Mon Apr 16 01:25:53 2007 +0000 |
tree | 3c496b45777d78578184ff923cd6a0ea5b637752 | |
parent | 9bbd48bea15fc7dd49b0fcc5af9fb52993e7f0fa [diff] |
all projects should spec ISO-8859-1 as their default encoding
diff --git a/plugins/org.eclipse.jem.util/.settings/org.eclipse.core.resources.prefs b/plugins/org.eclipse.jem.util/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000..8c58b56 --- /dev/null +++ b/plugins/org.eclipse.jem.util/.settings/org.eclipse.core.resources.prefs
@@ -0,0 +1,3 @@ +#Sun Apr 15 21:22:05 EDT 2007 +eclipse.preferences.version=1 +encoding/<project>=ISO-8859-1