-
Committer:
Jiri Srba
-
Date:
2018-08-01 13:14:29 UTC
-
mfrom:
(965.4.3 tapaal-gradlebuild)
-
Revision ID:
srba@cs.aau.dk-20180801131429-833cztbixghy1jbd
merged in branch lp:~yrke/tapaal/tapaal-gradlebuild adding gradle build support (not fully functional yet, so official builds should be done using make)