Created by muniz on 2020-06-09 and last modified on 2020-06-10
Get this branch:
bzr branch lp:~marmux/tapaal/tapaal-timed-games
Only muniz can upload to this branch. If you are muniz please log in for upload directions.

Branch merges

Related bugs

Related blueprints

Branch information


Recent revisions

1059. By muniz on 2020-06-10

adding hack for _unc_ transitions

1058. By muniz on 2020-06-09

an initial test

1057. By Jiri Srba on 2020-06-01

merged in lp:~tapaal-contributor/tapaal/display-shared-places-transitions-1879126 allowing to independently display the shared places/transitions

1056. By Jiri Srba on 2020-05-25

merged in branch lp:~yrke/tapaal/removeNetType removing unused net type UNTIMED

1055. By Jiri Srba on 2020-05-25

merged in lp:~tapaal-contributor/tapaal/zoom-in-smartdraw-1870896 fixing zooming in smart draw

1054. By Jiri Srba on 2020-05-25

merged in lp:~yrke/tapaal/positionAsInt fixing positions to integers instead of doubles

1053. By Jiri Srba on 2020-05-16

merged in lp:~tapaal-contributor/tapaal/undo-up-down-sidepane-1870894 fixing undo/redo for moving items in the pannels using buttons up/down

1052. By Jiri Srba on 2020-05-16

merged in lp:~tapaal-contributor/tapaal/only-dirs-batch-export-1870887 fixing folder selection in batch export (for Mac only partial fix)

1051. By Jiri Srba on 2020-05-10

merged in lp:~yrke/tapaal/remoteUnusedFunction-updateTooltip removing deadcode (updateToolTip)

1050. By Jiri Srba on 2020-05-10

merged in lp:~tapaal-contributor/tapaal/undo-redo-batchprocessing-1870904 fixing redo/undo in batch processing in the file add/remove dialog

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
This branch contains Public information 
Everyone can see this information.