prune unused code
authorLukas Mai <l.mai@web.de>
Wed, 14 Nov 2012 14:27:16 +0000 (15:27 +0100)
committerLukas Mai <l.mai@web.de>
Wed, 14 Nov 2012 14:27:16 +0000 (15:27 +0100)
commitf4c2f0390fe960a1bfff3cff25d12ad3e11fa99a
treea846c7b17ded44645bbcd86d0fc700b2313c1d05
parent67fc1ddbf6dc7619873577798a5208023f9704bd
prune unused code
Parameters.xs