Ben Woods 087c4af633 x11/xfce4-whiskermenu-plugin: Update to 1.7.5 ... Changes this release: https://mail.xfce.org/pipermail/xfce-announce/2017-December/000571.html		2017-12-29 07:42:23 +00:00
..
patch-panel-plugin_settings.cpp