summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Build/source/texk/web2c/hitexdir/doc/hitexman.tex4
-rw-r--r--Build/source/texk/web2c/hitexdir/hiformat.w4
2 files changed, 4 insertions, 4 deletions
diff --git a/Build/source/texk/web2c/hitexdir/doc/hitexman.tex b/Build/source/texk/web2c/hitexdir/doc/hitexman.tex
index 17e5bb89325..371660ab42f 100644
--- a/Build/source/texk/web2c/hitexdir/doc/hitexman.tex
+++ b/Build/source/texk/web2c/hitexdir/doc/hitexman.tex
@@ -35,9 +35,9 @@
\def\setrevision$#1: #2 ${\gdef\lastrevision{#2}}
-\setrevision$Revision: 2705 $
+\setrevision$Revision$
\def\setdate$#1(#2) ${\gdef\lastdate{#2}}
-\setdate$Date: 2022-03-04 16:48:46 +0100 (Fri, 04 Mar 2022) $
+\setdate$Date$
\null
diff --git a/Build/source/texk/web2c/hitexdir/hiformat.w b/Build/source/texk/web2c/hitexdir/hiformat.w
index 6a9634fb218..d66e292ca53 100644
--- a/Build/source/texk/web2c/hitexdir/hiformat.w
+++ b/Build/source/texk/web2c/hitexdir/hiformat.w
@@ -48,9 +48,9 @@
\def\setrevision$#1: #2 ${\gdef\lastrevision{#2}}
-\setrevision$Revision: 2699 $
+\setrevision$Revision$
\def\setdate$#1(#2) ${\gdef\lastdate{#2}}
-\setdate$Date: 2022-02-25 10:21:04 +0100 (Fri, 25 Feb 2022) $
+\setdate$Date$
\null