Changeset 8632 in josm for trunk/.settings
- Timestamp:
- 2015-08-01T17:54:08+02:00 (9 years ago)
- Location:
- trunk/.settings
- Files:
-
- 2 edited
-
org.eclipse.jdt.groovy.core.prefs (modified) (1 diff)
-
sf.eclipse.javacc.prefs (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/.settings/org.eclipse.jdt.groovy.core.prefs
r7980 r8632 1 1 eclipse.preferences.version=1 2 groovy.compiler.level=2 32 groovy.compiler.level=24 -
trunk/.settings/sf.eclipse.javacc.prefs
r7326 r8632 5 5 JJ_NATURE=true 6 6 JTB_OPTIONS=-ia -jd -tk 7 KEEP_DEL_FILES_IN_HISTORY=false 7 8 MARK_GEN_FILES_AS_DERIVED=true 8 9 RUNTIME_JJJAR=${project_loc}/tools/javacc.jar 9 10 RUNTIME_JTBJAR=${eclipse_home}/plugins/sf.eclipse.javacc_1.5.27/jtb-1.4.7.jar 11 RUNTIME_JVMOPTIONS= 10 12 SUPPRESS_WARNINGS=false 11 13 eclipse.preferences.version=1
Note:
See TracChangeset
for help on using the changeset viewer.
