| changeset 313 | 25282116ebcf |
| parent 254 | 78b83bc27fa2 |
| 312:11f39c9c3156 | 313:25282116ebcf |
|---|---|
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/,\ |
|
12 splash.bmp |
11 splash.bmp |
13 source.. = src/ |
12 source.. = src/ |
14 # javac |
13 # javac |
15 javacSource=1.5 |
14 javacSource=1.5 |
16 javacTarget=1.5 |
15 javacTarget=1.5 |