Remove dead code.
authorKim Nguyễn <kn@lri.fr>
Mon, 4 Mar 2013 20:50:22 +0000 (21:50 +0100)
committerKim Nguyễn <kn@lri.fr>
Mon, 4 Mar 2013 20:50:22 +0000 (21:50 +0100)

No differences found