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