Skip to content
Snippets Groups Projects
user avatar
fixed issue #5: all elements like channels; goal: input only for transitions,...
tj authored
fixed issue #5: all elements like channels; goal: input only for transitions, markings only for places
c329fec6
History
Name Last commit Last update