Age | Commit message (Expand) | Author |
---|---|---|
2020-04-19 | Change to user-manual (Dive export) | |
2019-02-10 | Changes to user manual (V4.8.4) | |
2018-09-16 | User Manual: replace screendumps | |
2017-01-12 | Replace image in user manual | |
2015-01-27 | User manual: Tying up loose ends |