tools: remove generate-settings-spec, which is no longer used
authorDan Winship <danw@gnome.org>
Fri, 13 Jun 2014 15:11:34 +0000 (11:11 -0400)
committerDan Winship <danw@gnome.org>
Thu, 19 Jun 2014 21:45:02 +0000 (17:45 -0400)
commit07bb19a3bb32f45fd05dae94e7f6b101e05343d8
tree65a890cf4a2de7b1d73bc8e1bbf1d82d24c6ecd9
parentcceb7735100d8721452b582cc13ab6aa1950c7b7
tools: remove generate-settings-spec, which is no longer used
.gitignore
tools/Makefile.am
tools/generate-settings-spec.c [deleted file]