Viewing all changes in revision 1126.
- Committer: Jiri Srba
- Date: 2021-04-04 09:53:27 UTC
- mfrom: (1121.3.3 token-truncation-bug-1918913)
- Revision ID: srba@cs.aau.dk-20210404095327-cwbw8jr9rc9brmph
merged in lp:~tapaal-contributor/tapaal/token-truncation-bug-1918913 allows to show more tokens and when limit exceeded, it shows >99999999
expand all
collapse all
added
removed
