← Back to branch summary

~tapaal-maintainers/tapaal/3.4

Viewing all changes in revision 959.

  • Committer: Jiri Srba
  • Date: 2018-05-11 14:53:50 UTC
  • Revision ID: srba@cs.aau.dk-20180511145350-ay8p84sw0rrn8jc1
merged in branch lp:~tapaal-contributor/tapaal/Rename-transition-error-1767489
fixing a non-cought expection in transition name renaming

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: