remove unused variable
authorLukas Mai <l.mai@web.de>
Thu, 21 Jun 2012 10:52:36 +0000 (12:52 +0200)
committerLukas Mai <l.mai@web.de>
Thu, 21 Jun 2012 10:52:36 +0000 (12:52 +0200)
commit7953a16750b474f98806bc424b5fe986861d5dd0
tree709539dc6e74a90c6fc7294799994d1ffddf97a9
parentf34187b85590887787995a0ea4446b3015374ad8
remove unused variable
Parameters.xs