Viewing all changes in revision 1008.

Committer: srba.jiri at gmail
Date: 2019-04-23 20:14:22 UTC
mfrom: <a title="Merged From 989.1.2" href="/~yrke/tapaal/removedUnusedcode-arcpathsplit/revision/989.1.2">(989.1.2 fix-1821164-exceptionInEngineCheck)
Revision ID: srba.jiri@gmail.com-20190423201422-84w7qjmgjpqnppch

merged in lp:~yrke/tapaal/fix-1821164-exceptionInEngineCheck fixing a problem with engine selection and invalid binaries

added added

removed removed