chiark / gitweb /
Make deprecated things not built by default by Makefile (and remove code in debian...
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 17 May 2016 17:14:38 +0000 (18:14 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 17 May 2016 17:14:38 +0000 (18:14 +0100)
commit84e9bd3c29059fa73986dc11cfc5fed4e69af184
tree1ebf6cdf356422303026d673201dc871cf18eb84
parent3285b081a69af26bb46ecefb88fa6d602a442c94
Make deprecated things not built by default by Makefile (and remove code in debian/rules for achieving this).
debian/changelog
debian/rules
settings.make