Ignore:
Timestamp:
2015-10-26T12:55:53+01:00 (9 years ago)
Author:
donvip
Message:

[josm_opening_hours_editor] update Eclipse settings

File:
1 edited

Legend:

Unmodified
Added
Removed

  • applications/editors/josm/plugins/OpeningHoursEditor/.settings/sf.eclipse.javacc.prefs

    r30235 r31696  
    11CLEAR_CONSOLE=true
    2 JAVACC_OPTIONS=-GRAMMAR_ENCODING\=UTF-8
     2JAVACC_OPTIONS=-JDK_VERSION\=1.7 -GRAMMAR_ENCODING\=UTF-8
    33JJDOC_OPTIONS=
    44JJTREE_OPTIONS=
    55JJ_NATURE=true
    66JTB_OPTIONS=-ia -jd -tk
     7KEEP_DEL_FILES_IN_HISTORY=false
    78MARK_GEN_FILES_AS_DERIVED=true
    89RUNTIME_JJJAR=${project_loc}\\..\\..\\core\\tools\\javacc.jar
    910RUNTIME_JTBJAR=C\:/eclipse/plugins/sf.eclipse.javacc_1.5.27/jtb-1.4.7.jar
     11RUNTIME_JVMOPTIONS=
    1012SUPPRESS_WARNINGS=false
    1113eclipse.preferences.version=1
Note: See TracChangeset for help on using the changeset viewer.