aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2019-04-04 18:00:48 +0200
committerRobert Alessi <alessi@robertalessi.net>2019-04-04 18:00:48 +0200
commit376583efb5d484c509d0f6e2c942032f461b8a98 (patch)
treee1d7315eae2764817ee2b43b9f7512113bf09f66 /Makefile
parentb9f6093c92fe7326c5438e97bef939c0cf05541d (diff)
downloadekdosis-376583efb5d484c509d0f6e2c942032f461b8a98.tar.gz
have starred TeX commands processed by textotei() as unstarred equivalents
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions