Viewing all changes in revision 1109.
- Committer: Jiri Srba
- Date: 2020-10-30 20:53:37 UTC
- mfrom: (1102.5.3 Gui-freeze-1896457)
- Revision ID: srba@cs.aau.dk-20201030205337-jzv57tx148ez63u9
merged in lp:~tapaal-contributor/tapaal/Gui-freeze-1896457 fixing a problem with stuck GUI when opening a net with wrong queries
expand all
collapse all
added
removed
