DEADSOFTWARE

Makefile: proper dependency management
authorGert van Valkenhoef <g.h.m.van.valkenhoef@rug.nl>
Tue, 15 Nov 2011 13:12:11 +0000 (13:12 +0000)
committerGert van Valkenhoef <g.h.m.van.valkenhoef@rug.nl>
Tue, 15 Nov 2011 13:22:01 +0000 (13:22 +0000)
commit149d7ca4cf84c3c9b7eb55b02d6b152fb00894bf
treee54a798b6b5a9c26590005cc3d72304d95aaf932
parent123f20a45dc791d5566433a041155d44744b9a90
Makefile: proper dependency management
Makefile