diff options
Diffstat (limited to 'Master/texmf-dist/doc/hitex/base/hitexman.tex')
| -rw-r--r-- | Master/texmf-dist/doc/hitex/base/hitexman.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/doc/hitex/base/hitexman.tex b/Master/texmf-dist/doc/hitex/base/hitexman.tex index 17e5bb89325..23694eb1990 100644 --- a/Master/texmf-dist/doc/hitex/base/hitexman.tex +++ b/Master/texmf-dist/doc/hitex/base/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 |