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

Viewing all changes in revision 1481.1.1.

  • Committer: kpede19 at aau
  • Date: 2021-12-02 15:37:15 UTC
  • mto: This revision was merged to the branch mainline in revision 1482.
  • Revision ID: kpede19@student.aau.dk-20211202153715-98eh8rdl9119sm5q
Fixed missing CMD-X shortcut (import PNML)

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: