← Back to branch summary

~tapaal-contributor/tapaal/cpn-gui-dev

Viewing all changes in revision 1482.

  • Committer: Jiri Srba
  • Date: 2021-12-04 19:08:09 UTC
  • mfrom: (1481.1.1 cpn-gui-dev)
  • Revision ID: srba@cs.aau.dk-20211204190809-hn1nipismbsbt1lu
merged in lp:~tapaal-contributor/tapaal/cpn-fix-missing-shortcut-1952521 fixing missing shortcut for PNML import

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: