Remove some old code.
authorJose Pedro Magalhaes <jpm@cs.uu.nl>
Thu, 12 May 2011 11:11:07 +0000 (13:11 +0200)
committerJose Pedro Magalhaes <jpm@cs.uu.nl>
Thu, 12 May 2011 11:11:07 +0000 (13:11 +0200)

No differences found