diff options
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/tex/extensions.w')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/tex/extensions.w | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/luatexdir/tex/extensions.w b/Build/source/texk/web2c/luatexdir/tex/extensions.w index 41f709d3e29..c0345d3c089 100644 --- a/Build/source/texk/web2c/luatexdir/tex/extensions.w +++ b/Build/source/texk/web2c/luatexdir/tex/extensions.w @@ -21,9 +21,7 @@ \def\pdfTeX{pdf\TeX} @ @c -static const char _svn_version[] = - "$Id: extensions.w 4519 2012-12-14 09:11:19Z taco $" - "$URL: https://foundry.supelec.fr/svn/luatex/trunk/source/texk/web2c/luatexdir/tex/extensions.w $"; + #include "ptexlib.h" |