|
Last change
on this file since 32680 was 31696, checked in by donvip, 9 years ago |
|
[josm_opening_hours_editor] update Eclipse settings
|
|
File size:
433 bytes
|
| Line | |
|---|
| 1 | CLEAR_CONSOLE=true
|
|---|
| 2 | JAVACC_OPTIONS=-JDK_VERSION\=1.7 -GRAMMAR_ENCODING\=UTF-8
|
|---|
| 3 | JJDOC_OPTIONS=
|
|---|
| 4 | JJTREE_OPTIONS=
|
|---|
| 5 | JJ_NATURE=true
|
|---|
| 6 | JTB_OPTIONS=-ia -jd -tk
|
|---|
| 7 | KEEP_DEL_FILES_IN_HISTORY=false
|
|---|
| 8 | MARK_GEN_FILES_AS_DERIVED=true
|
|---|
| 9 | RUNTIME_JJJAR=${project_loc}\\..\\..\\core\\tools\\javacc.jar
|
|---|
| 10 | RUNTIME_JTBJAR=C\:/eclipse/plugins/sf.eclipse.javacc_1.5.27/jtb-1.4.7.jar
|
|---|
| 11 | RUNTIME_JVMOPTIONS=
|
|---|
| 12 | SUPPRESS_WARNINGS=false
|
|---|
| 13 | eclipse.preferences.version=1
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
