Viewing all changes in revision 1011.

Committer: srba.jiri at gmail
Date: 2019-04-23 20:06:09 UTC
mfrom: <a title="Merged From 989.1.2" href="/~tapaal-maintainers/tapaal/3.5/revision/989.1.2">(989.1.2 fix-1821164-exceptionInEngineCheck)
Revision ID: srba.jiri@gmail.com-20190423200609-t4dqiikvj382jdfo

merged in lp:~yrke/tapaal/fix-1821164-exceptionInEngineCheck fixing a problem with wrongly selected binary

added added

removed removed

~tapaal-maintainers/tapaal/3.5