Timeline
Parents and children of check-in [2e9f6d9a19]
2016-12-03
| ||
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 | |