- Committer: srba.jiri at gmail
- Date: 2020-08-13 11:54:07 UTC
- mfrom: (1080.1.6 add-java-info-1890600)
- Revision ID: srba.jiri@gmail.com-20200813115407-gpuqjvyhjs0ayvo7
merged in lp:~tapaal-contributor/tapaal/add-java-info-1890600 adding java info to engine selection
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
tapaal
|
361 | 13 years ago | Kenneth Yrke Jørgensen | Moved TAPAAL.java launcher to package net.tapaal |
|
||