List contributors in manual.

2025-03-20 07:40:02 +08:00 · 2018-08-17 14:31:00 +02:00
parent bb3b5f6904
commit ff3774d8f2
1 changed files with 4 additions and 0 deletions
@@ -453,4 +453,8 @@ While the data collection is very lightweight, it is not completely free. Each r

 \verbatiminput{../LICENSE.}

+\section{List of contributors}
+
+\verbatiminput{../AUTHORS.}
+
 \end{document}