← Back to branch summary

~yrke/tapaal/ControllersAndPushdown

Viewing all changes in revision 1133.

  • Committer: Kenneth Yrke Joergensen
  • Date: 2019-09-06 13:53:54 UTC
  • Revision ID: kenneth@yrke.dk-20190906135354-je513glr323yr7ti
Pushed toggleAttributesVisible up from Transition/Place to PlaceTransitionObject

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: