| mwenz | 2d6f1a9 | 2011-11-09 16:29:31 +0100 | [diff] [blame^] | 1 | #Wed Nov 09 14:41:53 CET 2011 |
| mwenz | 12cfd2b | 2011-10-28 12:29:10 +0200 | [diff] [blame] | 2 | eclipse.preferences.version=1 |
| mwenz | 2d6f1a9 | 2011-11-09 16:29:31 +0100 | [diff] [blame^] | 3 | org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error |