summaryrefslogtreecommitdiff
path: root/obsolete/support/detex
ModeNameSize
-rw-r--r--Flex-patch259logplain
-rw-r--r--Makefile1899logplain
-rw-r--r--README6904logplain
-rw-r--r--detex.1l4006logplain
-rw-r--r--detex.h1227logplain
-rw-r--r--detex.l17353logplain
-rw-r--r--lexout.c50210logplain
d---------os2151logplain
-rw-r--r--states.sed329logplain