diff options
| author | Javier <dev.git@javispedro.com> | 2016-08-07 00:45:02 +0200 |
|---|---|---|
| committer | Javier <dev.git@javispedro.com> | 2016-08-07 00:45:02 +0200 |
| commit | f80fc1a16628ce4ef5d52c8095fe351efa8dad8a (patch) | |
| tree | 0ca05919056d31ec85d4a7ea3f2f44e46c27a665 /libtopmenu-server/topmenu-widget.h | |
| parent | c7e9ad4b42b3165c06a683c3df311808a921a903 (diff) | |
| download | topmenu-gtk-f80fc1a16628ce4ef5d52c8095fe351efa8dad8a.tar.gz topmenu-gtk-f80fc1a16628ce4ef5d52c8095fe351efa8dad8a.zip | |
remove the preferences menu item until it is done
Diffstat (limited to 'libtopmenu-server/topmenu-widget.h')
0 files changed, 0 insertions, 0 deletions