Changeset 37cba5c in report for tools


Ignore:
Timestamp:
Mar 20, 2008 9:07:50 PM (12 years ago)
Author:
Simon Marlow <marlowsd@…>
Branches:
h2010, master
Children:
9bfd492
Parents:
3357e9b
Message:

remove dead code

File:
1 edited

Legend:

Unmodified
Added
Removed
  • tools/tex.hs

    r3357e9b r37cba5c  
    913913               ("rm",embed (inFont RM)),
    914914               ("it",emit (HFont IT)),
    915                ("em",emit (HFont IT)),
    916915               ("bf",emit (HFont Bold)),
    917916               ("input",doInput),
Note: See TracChangeset for help on using the changeset viewer.