Viewing all changes in revision 1007.
- Committer: srba.jiri at gmail
- Date: 2019-04-14 10:54:55 UTC
- mfrom: (989.1.1 fix-1821164-exceptionInEngineCheck)
- Revision ID: srba.jiri@gmail.com-20190414105455-7c2fli38wldoocll
merged in lp:~yrke/tapaal/fix-1821164-exceptionInEngineCheck fixing wrong binary engine NPE
expand all
collapse all
added
removed
