diff options
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/utils/managed-sa.w')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/utils/managed-sa.w | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/luatexdir/utils/managed-sa.w b/Build/source/texk/web2c/luatexdir/utils/managed-sa.w index afdd99bfa61..85bb058352a 100644 --- a/Build/source/texk/web2c/luatexdir/utils/managed-sa.w +++ b/Build/source/texk/web2c/luatexdir/utils/managed-sa.w @@ -20,9 +20,7 @@ @* Sparse arrays with an embedded save stack. @ @c -static const char _svn_version[] = - "$Id: managed-sa.w 4442 2012-05-25 22:40:34Z hhenkel $" - "$URL: https://foundry.supelec.fr/svn/luatex/trunk/source/texk/web2c/luatexdir/utils/managed-sa.w $"; + #include "ptexlib.h" |