~tapaal-developers/tapaal/trunk

Viewing all changes in revision 1050.

  • Committer: Jiri Srba
  • Date: 2020-05-10 20:06:20 UTC
  • mfrom: (1048.2.1 tapaal)
  • Revision ID: srba@cs.aau.dk-20200510200620-vxu2fqp7ctwur0hv
merged in lp:~tapaal-contributor/tapaal/undo-redo-batchprocessing-1870904 fixing redo/undo in batch processing in the file add/remove dialog

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: