← Back to branch summary

~tapaal-contributor/tapaal/save-tar-option

Viewing all changes in revision 1120.

  • Committer: lsaid
  • Date: 2021-03-02 16:02:35 UTC
  • Revision ID: lena.said@hotmail.com-20210302160235-hn0kz3mu42deo8ih
tar option is saved in the .tapn file

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: