-
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