diff options
Diffstat (limited to 'contrib/libgmp/texinfo.tex')
| -rw-r--r-- | contrib/libgmp/texinfo.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/libgmp/texinfo.tex b/contrib/libgmp/texinfo.tex index 1536ac3f08455..ada46cd941686 100644 --- a/contrib/libgmp/texinfo.tex +++ b/contrib/libgmp/texinfo.tex @@ -35,7 +35,7 @@ % This automatically updates the version number based on RCS. \def\deftexinfoversion$#1: #2 ${\def\texinfoversion{#2}} -\deftexinfoversion$Revision: 2.172 $ +\deftexinfoversion$Revision: 1.1.1.1 $ \message{Loading texinfo package [Version \texinfoversion]:} % If in a .fmt file, print the version number |