~tapaal-contributor/tapaal/query-export-bug-1767615

Viewing all changes in revision 936.1.2.

  • Committer: Jakob Dyhr
  • Date: 2016-11-14 09:58:40 UTC
  • mto: This revision was merged to the branch mainline in revision 937.
  • Revision ID: jdyhr12@student.aau.dk-20161114095840-uj215kqy383rkcqj
Refactor name of blue transitions to delayEnabled transitions and change the color to yellow

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: