Viewing all changes in revision 935.
- Committer: Jiri Srba
- Date: 2016-10-13 18:07:14 UTC
- mfrom: (934.1.4 token-dots-fix-1625959)
- Revision ID: srba@cs.aau.dk-20161013180714-v0g607bzmrq0i1md
merged in branch adding a checkbox in View menu to display 0-age tokens as dots
expand all
collapse all
added
removed
