prune dead code named-params
authorLukas Mai <l.mai@web.de>
Thu, 1 Nov 2012 12:40:18 +0000 (13:40 +0100)
committerLukas Mai <l.mai@web.de>
Thu, 1 Nov 2012 12:40:18 +0000 (13:40 +0100)
commitb939b4b60e567080bb7f9efb9dfc8b52b26b8197
tree79abde54e957632e8f67f172d7dcf5868256eb19
parentfc634bba17c52f6c65a13f90680bb8eef79d25d1
prune dead code
Parameters.xs