Viewing all changes in revision 959.
- Committer: Jiri Srba
- Date: 2018-05-11 14:56:30 UTC
- mfrom: (957.2.3 tapaal)
- Revision ID: srba@cs.aau.dk-20180511145630-e8l89lewt8xdrus3
merged in branch lp:~tapaal-contributor/tapaal/Rename-transition-error-1767489
fixing an un-cought exception when renaming a transition to nonvalid name
fixing an un-cought exception when renaming a transition to nonvalid name
expand all
collapse all
added
removed
