~tapaal-maintainers/tapaal/3.6

Viewing all changes in revision 1025.

  • Committer: Jiri Srba
  • Date: 2019-10-31 12:21:59 UTC
  • mfrom: (1018.5.1 tapaal)
  • Revision ID: srba.jiri@gmail.com-20191031122159-1qlzgf6kq39bz5ny
merged in lp:~tapaal-contributor/tapaal/simple-workspace-issues-1849780 fixing simple workspace behaviour

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: