Make devel/cover clean up after itself.
authorEmil Mikulic <emikulic@gmail.com>
Sun, 28 Apr 2013 11:45:14 +0000 (21:45 +1000)
committerEmil Mikulic <emikulic@gmail.com>
Sun, 28 Apr 2013 11:45:14 +0000 (21:45 +1000)
commit1b10a57f398bb5558a9770b2a1c10417fd0a31b1
tree5bb1888ddc016221dd9652b2d1ee1a629ce37e20
parentffbb4c9f7c2f73d2d1e585f022b18b224d727d36
Make devel/cover clean up after itself.
devel/cover