Remove some files I accidentally added.
authorJose Pedro Magalhaes <jpm@cs.uu.nl>
Fri, 29 Apr 2011 16:49:00 +0000 (18:49 +0200)
committerJose Pedro Magalhaes <jpm@cs.uu.nl>
Fri, 29 Apr 2011 16:51:03 +0000 (18:51 +0200)

No differences found