*.desktop Makefile Makefile.in gnome-at-properties