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

Viewing all changes in revision 1122.

  • Committer: lsaid
  • Date: 2021-03-27 16:46:32 UTC
  • Revision ID: lena.said@hotmail.com-20210327164632-7bxncweeyf5drflb
Fixed missing digits when number of tokens is greater than 999

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: