| changeset 303 | a619b3ef3095 |
| parent 76 | 57613a26af19 |
| 302:60453502674e | 303:a619b3ef3095 |
|---|---|
5 plugin.xml,\ |
5 plugin.xml,\ |
6 preview/,\ |
6 preview/,\ |
7 preferences.ini,\ |
7 preferences.ini,\ |
8 icons/,\ |
8 icons/,\ |
9 wrt.xml,\ |
9 wrt.xml,\ |
10 http-content/ |
10 http-content/,\ |
11 lib/json_simple/json_simple-1.1.jar |
|
11 # javac |
12 # javac |
12 javacSource=1.5 |
13 javacSource=1.5 |
13 javacTarget=1.5 |
14 javacTarget=1.5 |
14 javacVerbose=true |
15 javacVerbose=true |
15 |
16 |