remove old run_tex tool, no longer used
authorSimon Marlow <marlowsd@gmail.com>
Mon, 5 Jul 2010 13:51:54 +0000 (13:51 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Mon, 5 Jul 2010 13:51:54 +0000 (13:51 +0000)
commit35cb362e2670f851d0efa1b8b56a3e79851f8e89
treebb0cbff1d307c0390592ccdf31f5ccb933a1631c
parent374449a727cb24839586e03e1eb86a8b2ac394dd
remove old run_tex tool, no longer used
report/Makefile
tools/Makefile
tools/tex.hs [deleted file]