diff options
Diffstat (limited to 'Build/source')
-rwxr-xr-x | Build/source/utils/tpic2pdftex/tpic2pdftex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/utils/tpic2pdftex/tpic2pdftex b/Build/source/utils/tpic2pdftex/tpic2pdftex index 8803b9f4bde..e36ac62f248 100755 --- a/Build/source/utils/tpic2pdftex/tpic2pdftex +++ b/Build/source/utils/tpic2pdftex/tpic2pdftex @@ -1,6 +1,6 @@ #!/bin/sh - # -# $Id: tpic2pdftex,v 1.97 2010/01/16 11:51:43 hahe Exp $ +# $Id$ # # Experimental awk-script for conversion of tpic \specials as produced # by (groff-)pic into pdfTeX \pdfliteral sections for further processing |