Viewing all changes in revision 1003.

Committer: Jiri Srba
Date: 2019-03-27 21:06:43 UTC
mfrom: <a title="Merged From 1000.3.1" href="/~tapaal-contributor/tapaal/label-shifting-when-zooming-1849782/revision/1000.3.1">(1000.3.1 fixes-1821588-orphantransition)
Revision ID: srba@cs.aau.dk-20190327210643-ia0uhclp8955eaed

merged in branch lp:~yrke/tapaal/fixes-1821588-orphantransition fixing NPE for orhpan transitions when opening query dialog

added added

removed removed