~tapaal-contributor/tapaal/update-scrollbar-1938778

Viewing all changes in revision 1128.

  • Committer: Jiri Srba
  • Date: 2021-04-09 10:13:31 UTC
  • mfrom: (1127.1.2 cut-names-1923011)
  • Revision ID: srba@cs.aau.dk-20210409101331-yovfsfk1qm8hss0v
merged in lp:~tapaal-contributor/tapaal/cut-names-1923011 fixing a problem with box heights on linux

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: