chiark / gitweb /
makefile stuff
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 4 Sep 2019 14:16:43 +0000 (15:16 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 4 Sep 2019 14:16:43 +0000 (15:16 +0100)
commit52c29e1847a98a93da41e9010a07b5020345d07c
tree997b5b4f3d1a048ac50aa591ac303a77663ba505
parent4f9953b66729a2133444364b22127cef3c4f3114
makefile stuff
Makefile