Timeline
11 check-ins occurring on or before 2016-12-03 21:23:12.
More ↑
|
2016-12-03
| ||
| 21:23 | Removed plugin option background colors. check-in: 9520bc51a3 user: mario tags: trunk | |
| 14:47 | Introduce Gtk theme switching again. check-in: 303e1c8e48 user: mario tags: trunk | |
| 14:47 | Prevent crash on absent opt["select"] field. check-in: 2e9f6d9a19 user: mario tags: trunk | |
|
2016-12-02
| ||
| 23:08 | Mirror manual changes into HTML pages. check-in: 731728afab user: mario tags: trunk | |
| 22:12 | Use new logo in manual, merge introduction into first help section. check-in: c4e068fd3f user: mario tags: trunk | |
| 20:55 | Fix heaps of typos (as reported by Oliver). check-in: c747c1119f user: mario tags: trunk | |
| 20:38 | Updated install/uninstall scripts, py-requests path version-independent. check-in: 66efee91b0 user: mario tags: trunk | |
| 20:37 | timer: warning for invalid dates. check-in: 68349f8772 user: mario tags: trunk | |
| 20:36 | Fixed VLC default path (Oliver), added quoting regexp. check-in: 1874107bb9 user: mario tags: trunk | |
|
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 | |