~tapaal-contributor/tapaal/undo-redo-batchprocessing-1870904

Viewing all changes in revision 1045.

  • Committer: Jiri Srba
  • Date: 2020-04-16 13:38:39 UTC
  • mfrom: (1044.1.1 tapaal)
  • Revision ID: srba@cs.aau.dk-20200416133839-zzd6ovtrvkaq2c1l
merged in lp:~tapaal-contributor/tapaal/fix-positionalInfo-detection-1870899 fixing loading of positional info in PNML files

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: