Timeline
1 check-in using file channels/pluginmanager2.py version 5a7e32371d
| 2016-12-03 | ||
| 14:47 | Introduce Gtk theme switching again. check-in: 303e1c8e48 user: mario tags: trunk | |
| 2016-12-03 | ||
| 14:47 | Introduce Gtk theme switching again. check-in: 303e1c8e48 user: mario tags: trunk | |