diff options
Diffstat (limited to 'Build/source/utils/asymptote/patches/dvipdf')
-rwxr-xr-x | Build/source/utils/asymptote/patches/dvipdf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/utils/asymptote/patches/dvipdf b/Build/source/utils/asymptote/patches/dvipdf index 60e978bb424..36dbe4206b6 100755 --- a/Build/source/utils/asymptote/patches/dvipdf +++ b/Build/source/utils/asymptote/patches/dvipdf @@ -1,5 +1,5 @@ #!/bin/sh -# $Id: dvipdf 5475 2012-08-24 06:27:29Z jcbowman $ +# $Id$ # Convert DVI to PDF. # # Please contact Andrew Ford <A.Ford@ford-mason.co.uk> with any questions |