From ff3774d8f272e45bb853be3c0d494818ff8bbd7d Mon Sep 17 00:00:00 2001 From: Bartosz Taudul Date: Fri, 17 Aug 2018 14:31:00 +0200 Subject: [PATCH] List contributors in manual. --- manual/tracy.tex | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/manual/tracy.tex b/manual/tracy.tex index fc6b2d93..80ef1942 100644 --- a/manual/tracy.tex +++ b/manual/tracy.tex @@ -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}