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 | |