← Back to branch summary

~tapaal-maintainers/tapaal/3.6

Viewing all changes in revision 1050.

  • Committer: Jiri Srba
  • Date: 2020-05-10 20:04:57 UTC
  • mfrom: (1048.2.2 3.6)
  • Revision ID: srba@cs.aau.dk-20200510200457-453fari6t5qv447y
merged in lp:~tapaal-contributor/tapaal/undo-redo-batchprocessing-3.6-1870904 fixing redo/undo in batch processing in the file selection dialog

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: