- Committer: Jiri Srba
- Date: 2020-09-01 11:48:55 UTC
- mfrom: (1086.3.11 refactor-remove-query)
- Revision ID: srba.jiri@gmail.com-20200901114855-yfbvlhq3v2m078a2
merged in lp:~tapaal-contributor/tapaal/refactor-remove-queries removing queires in a unified way by calling the engine options
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
wrapper
|
965.4.2 | 5 years ago | Kenneth Yrke Jørgensen | added gradle files |
|
||