skip the navigation

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

/usr/bin/wmgui
/usr/share/applications/wmgui.desktop
/usr/share/doc/wmgui/changelog.Debian.gz
/usr/share/doc/wmgui/changelog.Debian.ppc64el.gz
/usr/share/doc/wmgui/changelog.gz
/usr/share/doc/wmgui/copyright
/usr/share/man/man1/wmgui.1.gz
/usr/share/pixmaps/wmgui-16.xpm
/usr/share/pixmaps/wmgui-32.xpm
/usr/share/pixmaps/wmgui.xpm