Viewing all changes in revision 1083.
- Committer: Jiri Srba
- Date: 2020-08-14 09:35:56 UTC
- mfrom: (1068.3.16 engine-option-matrix-dev)
- Revision ID: srba.jiri@gmail.com-20200814093556-n634yjvcb6dshp7w
merged in lp:~tapaal-contributor/tapaal/engine-option-matrix-dev changing how engine selection works
expand all
collapse all
added
removed
