remove authors from tex files

YaelDillies · Nov 14, 2023 · 19f6bbe · 19f6bbe
1 parent 309a878
commit 19f6bbe
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/blueprint/src/print.tex b/blueprint/src/print.tex
@@ -30,7 +30,6 @@
 \input{macros_print}
 
 \title{LeanAPAP}
-\author{LeanAPAP project contributors}
 
 \begin{document}
 \maketitle

diff --git a/blueprint/src/web.tex b/blueprint/src/web.tex
@@ -18,7 +18,6 @@
 \dochome{https://YaelDillies.github.io/LeanAPAP/docs}
 
 \title{LeanAPAP}
-\author{LeanAPAP project contributors}
 
 \begin{document}
 \maketitle