linuxmint/muffin — pull request #111 by mtwebster (2013-07-22 22:36:57+00:00)
Title: Remove gnome/wm-properties files

As far as I can tell, these files, placed in /usr/share/gnome/wm-properties, use to be used to register a window manager's configuration app with gnome-control-center. I'm fairly certain it's unused now.