Debian Patches

Status for gnome-mastermind/0.3.1-7

Patch Description Author Forwarded Bugs Origin Last update
01_docs.diff Avoid installation of uninteresting files. Install TODO in docdir. Yavor Doganov <yavor@gnu.org> invalid 2018-10-24
use-yelp-tools.patch Migrate to yelp-tools. Yavor Doganov <yavor@gnu.org> invalid 2018-10-24
gsettings-port.patch Port to GSettings. Yavor Doganov <yavor@gnu.org> invalid debian 2019-10-20
no-overlinking.patch Avoid linking the needed libraries twice. Yavor Doganov <yavor@gnu.org> invalid 2018-10-25
gtk3-port.patch Port to GTK+ 3. Yavor Doganov <yavor@gnu.org> invalid 2018-11-01
desktop-file.patch Make .desktop file valid; add Keywords entry. Yavor Doganov <yavor@gnu.org> invalid 2018-11-01

All known versions for source package 'gnome-mastermind'

Links