diff options
Diffstat (limited to 'Build/source/doc/tlbuild-incl/tlmgr.texi')
-rw-r--r-- | Build/source/doc/tlbuild-incl/tlmgr.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/doc/tlbuild-incl/tlmgr.texi b/Build/source/doc/tlbuild-incl/tlmgr.texi index c5fe406d165..75a5c3cadc3 100644 --- a/Build/source/doc/tlbuild-incl/tlmgr.texi +++ b/Build/source/doc/tlbuild-incl/tlmgr.texi @@ -2683,5 +2683,5 @@ This script and its documentation were written for the TeX Live distribution (@url{https://tug.org/texlive}) and both are licensed under the GNU General Public License Version 2 or later. -$Id: tlmgr.pl 66236 2023-02-27 21:44:33Z karl $ +$Id: tlmgr.pl 66457 2023-03-07 23:07:12Z preining $ |