-
Committer:
srba.jiri at gmail
-
Date:
2020-08-19 12:02:28 UTC
-
mfrom:
(1071.2.34 untimed-timed-gui)
-
Revision ID:
srba.jiri@gmail.com-20200819120228-ktxdev3ou3kuj3l0
merged in lp:~tapaal-contributor/tapaal/untimed-timed-gui adding timed/untimed lens projection