summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/xmltex/xmlplay
ModeNameSize
-rw-r--r--play.dtd1217logplain