diff options
Diffstat (limited to 'Master/texmf-dist/tex4ht/xtpipes/xtpipes-map.dtd')
| -rwxr-xr-x | Master/texmf-dist/tex4ht/xtpipes/xtpipes-map.dtd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/tex4ht/xtpipes/xtpipes-map.dtd b/Master/texmf-dist/tex4ht/xtpipes/xtpipes-map.dtd index 6a4075ee25c..b930b635a00 100755 --- a/Master/texmf-dist/tex4ht/xtpipes/xtpipes-map.dtd +++ b/Master/texmf-dist/tex4ht/xtpipes/xtpipes-map.dtd @@ -1,4 +1,4 @@ -<!-- xtpipes-map.dtd (2008-03-20-16:23) --> +<!-- xtpipes-map.dtd (2008-07-25-00:35) --> <!ELEMENT xtpipes-map (when | processing-instruction | select | command-line)* > |