diff options
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/font/writeenc.w')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/font/writeenc.w | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/luatexdir/font/writeenc.w b/Build/source/texk/web2c/luatexdir/font/writeenc.w index 476741e93aa..54ce687d50a 100644 --- a/Build/source/texk/web2c/luatexdir/font/writeenc.w +++ b/Build/source/texk/web2c/luatexdir/font/writeenc.w @@ -19,9 +19,7 @@ % with LuaTeX; if not, see <http://www.gnu.org/licenses/>. @ @c -static const char _svn_version[] = - "$Id: writeenc.w 4442 2012-05-25 22:40:34Z hhenkel $" - "$URL: https://foundry.supelec.fr/svn/luatex/trunk/source/texk/web2c/luatexdir/font/writeenc.w $"; + #include "ptexlib.h" |