Viewing all changes in revision 1094.

Committer: Jiri Srba
Date: 2020-09-03 08:28:28 UTC
mfrom: <a title="Merged From 1086.3.13" href="/~tapaal-contributor/tapaal/verifytapn-not-offered-1896454/revision/1086.3.13">(1086.3.13 fix-trunk-halt-1893777)
Revision ID: srba.jiri@gmail.com-20200903082828-tp79z0f31jhg0wpr

merged in lp:~tapaal-contributor/tapaal/fix-trunk-halt-1893777 fixing the loading of game nets with queries

added added

removed removed