summaryrefslogtreecommitdiff
path: root/systems/doc/hitex/hitexman.tex
diff options
context:
space:
mode:
Diffstat (limited to 'systems/doc/hitex/hitexman.tex')
-rw-r--r--systems/doc/hitex/hitexman.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/systems/doc/hitex/hitexman.tex b/systems/doc/hitex/hitexman.tex
index 17e5bb8932..23694eb199 100644
--- a/systems/doc/hitex/hitexman.tex
+++ b/systems/doc/hitex/hitexman.tex
@@ -35,9 +35,9 @@
\def\setrevision$#1: #2 ${\gdef\lastrevision{#2}}
-\setrevision$Revision: 2705 $
+\setrevision$Revision: 62515 $
\def\setdate$#1(#2) ${\gdef\lastdate{#2}}
-\setdate$Date: 2022-03-04 16:48:46 +0100 (Fri, 04 Mar 2022) $
+\setdate$Date: 2022-03-08 14:02:10 +0100 (Tue, 08 Mar 2022) $
\null