← Back to branch summary

~tapaal-contributor/tapaal/undo-shared-place-transition-1848948

Viewing all changes in revision 1020.

  • Committer: ptaankvist at gmail
  • Date: 2019-10-24 09:55:33 UTC
  • Revision ID: ptaankvist@gmail.com-20191024095533-ieg33kgc37hv0dlg
https://launchpad.net/bugs/1848948
making place/transition shared now only requires one undo to undo

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: