Warning police: Removed "Defined but not used" warnings
authorsven.panne@aedion.de <unknown>
Wed, 14 Mar 2007 12:30:21 +0000 (12:30 +0000)
committersven.panne@aedion.de <unknown>
Wed, 14 Mar 2007 12:30:21 +0000 (12:30 +0000)
commitbe18544c3e59cab7f76bf3d07fe6aa27cf157b02
tree2033e5931821b9fda31807ec2006bb5a4f1da18a
parent488a280952966e2c1dfa721157d39dc323844b2b
Warning police: Removed "Defined but not used" warnings
utils/genprimopcode/Main.hs