remove dead code
authorSimon Marlow <marlowsd@gmail.com>
Thu, 20 Mar 2008 21:07:50 +0000 (21:07 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Thu, 20 Mar 2008 21:07:50 +0000 (21:07 +0000)
commit37cba5c79569eb9ef7cb2f396846ce897f274698
tree139619a7d4ff55f4c21070d9fdd2689d8ef12727
parent3357e9b451b62f4f1b80a93d939db23ea5810193
remove dead code
tools/tex.hs