branches with status:
Name Status Last Modified Last Commit
lp:tapaal bug 1 Development 2021-04-09 10:13:31 UTC 2021-04-09
1128. merged in lp:~tapaal-contributor/tapa...

Author: Jiri Srba
Revision Date: 2021-04-09 10:13:31 UTC

merged in lp:~tapaal-contributor/tapaal/cut-names-1923011 fixing a problem with box heights on linux

11 of 1 result