]> git.zerfleddert.de Git - micropolis/commit - Makefile
DESTDIR support for Makefile
authorMichael Gernoth <michael@gernoth.net>
Mon, 4 Feb 2008 10:54:43 +0000 (11:54 +0100)
committerMichael Gernoth <michael@gernoth.net>
Mon, 4 Feb 2008 10:54:43 +0000 (11:54 +0100)
commit7fe1e6c047b4fcd8ca51a23e99daf0db824a2da4
treefb0e41e4905be550124bd4b99d0c297de4b3881f
parent7709f34cf5785350db2d99f196afcbcf6122b4aa
DESTDIR support for Makefile
Makefile
Impressum, Datenschutz