Timeline
Parents and children of check-in [078495e7da]
2016-12-01
| ||
13:19 | Fix help.chm lookup and default Windows paths. check-in: a88fe29963 user: mario tags: trunk | |
13:18 | Minor changes to winstaller script and default package content. check-in: 078495e7da user: mario tags: trunk | |
2016-11-29
| ||
20:29 | Expanded the manual on the search function, added more gui/key markup. check-in: cc545daac0 user: mario tags: trunk | |