Skip to content
Snippets Groups Projects
Select Git revision
  • 86e84ca6333709905f36a197be312cd683e7fa82
  • main default protected
  • devel2
  • release
  • devel
5 results

pnml-petri-net-editor

user avatar
issue #4 added nodePage; saving after adding currently not working - looking...
StarryScythe authored
issue #4 added nodePage; saving after adding currently not working - looking into it - see last error in TaskAndTimeTimJahn
86e84ca6
History
Name Last commit Last update