log pui-menu.ui @ 47:0d4bb2f8908a version-7

age author description
Wed, 13 Jun 2018 23:25:09 +0200 Guido Berhoerster Add menu item to launch the preferences application
Wed, 13 Jun 2018 20:06:00 +0200 Guido Berhoerster Use GtkBuilder for all widgets