branches with status:
Name Status Last Modified Last Commit
lp:tapaal bug 1 Development 2019-08-16 16:00:59 UTC 2019-08-16
1012. merged in lp:~tapaal-contributor/tapa...

Author: Jiri Srba
Revision Date: 2019-08-16 16:00:59 UTC

merged in lp:~tapaal-contributor/tapaal/SmartDrawDevelopment allowing for automatic net layout

11 of 1 result