| changeset 254 | 78b83bc27fa2 |
| parent 233 | 724656eaa2af |
| child 313 | 25282116ebcf |
| 253:10b29e66acf7 | 254:78b83bc27fa2 |
|---|---|
6 icons/,\ |
6 icons/,\ |
7 about.ini,\ |
7 about.ini,\ |
8 about.properties,\ |
8 about.properties,\ |
9 about.html,\ |
9 about.html,\ |
10 plugin.properties,\ |
10 plugin.properties,\ |
11 config_inis/ |
11 config_inis/,\ |
12 splash.bmp |
|
12 source.. = src/ |
13 source.. = src/ |
13 # javac |
14 # javac |
14 javacSource=1.5 |
15 javacSource=1.5 |
15 javacTarget=1.5 |
16 javacTarget=1.5 |
16 javacVerbose=true |
17 javacVerbose=true |