diff options
Diffstat (limited to 'macros/latex/contrib/thmtools/doc/VERSION.tex')
-rw-r--r-- | macros/latex/contrib/thmtools/doc/VERSION.tex | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/macros/latex/contrib/thmtools/doc/VERSION.tex b/macros/latex/contrib/thmtools/doc/VERSION.tex deleted file mode 100644 index 97f602a186..0000000000 --- a/macros/latex/contrib/thmtools/doc/VERSION.tex +++ /dev/null @@ -1 +0,0 @@ -\def\VERSION{2022/06/01 v0.73} |