← Back to branch summary

~tapaal-contributor/tapaal/token-truncation-bug-1918913

Viewing all changes in revision 1120.

  • Committer: Jiri Srba
  • Date: 2021-03-04 11:26:07 UTC
  • mfrom: (1119.1.2 save-tar-settings)
  • Revision ID: srba@cs.aau.dk-20210304112607-t6qzcyzb494yinst
merged in lp:~tapaal-contributor/tapaal/save-tar-option that allows to save -tar option to .tapn file

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: