reverted dist target in Makefile
authoranselm@anselm1 <unknown>
Mon, 19 May 2008 19:08:31 +0000 (20:08 +0100)
committeranselm@anselm1 <unknown>
Mon, 19 May 2008 19:08:31 +0000 (20:08 +0100)
commitf806a17692a145fb6fcc59ca4c2c199f7975f40a
treedaa347089350acde788776d852e4e9714fa0f41e
parent822101dd5bceadb12351dd5f9084d7745b10ec92
reverted dist target in Makefile
Makefile