Viewing all changes in revision 1083.

Committer: Jiri Srba
Date: 2020-08-14 09:35:56 UTC
mfrom: <a title="Merged From 1068.3.16" href="/~tapaal-contributor/tapaal/Typos-1896460/revision/1068.3.16">(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

added added

removed removed