diff options
Diffstat (limited to 'Master/bin/armhf-linux/tpic2pdftex')
| -rwxr-xr-x | Master/bin/armhf-linux/tpic2pdftex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/bin/armhf-linux/tpic2pdftex b/Master/bin/armhf-linux/tpic2pdftex index ecdf35d6b2b..cd67803b979 100755 --- a/Master/bin/armhf-linux/tpic2pdftex +++ b/Master/bin/armhf-linux/tpic2pdftex @@ -1,6 +1,6 @@ #!/bin/sh - # -# $Id$ +# $Id: tpic2pdftex 29534 2013-03-27 23:56:34Z karl $ # # Experimental awk-script for conversion of tpic \specials as produced # by (groff-)pic into pdfTeX \pdfliteral sections for further processing |