chiark / gitweb /
Makefile use PRECIOUS
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 20 Sep 2012 09:27:55 +0000 (10:27 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 20 Sep 2012 09:27:55 +0000 (10:27 +0100)
commita874434bfd463fc4aeba8d6ec829c0293785c484
tree777525c6dd954a7cfaa4cc123345b30bc5f671c4
parent949c67dd9deab6f8359127e646a8f038498ef2d1
Makefile use PRECIOUS
Makefile