doxygen: upgrade Doxyfile, and complete it

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 61e52f779781b4ea79c8cd0d35bc09198b497499..59e591dcfe62f07895bb1d37dd38e294bd0e58d1 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -125,6 +125,7 @@ Tom Tromey                tromey@cygnus.com
 Tommy Nordgren            tommy.nordgren@chello.se
 Troy A. Johnson           troyj@ecn.purdue.edu
 Tys Lefering              gccbison@gmail.com
+Valentin Tolmer           nitnelave1@gmail.com
 Vin Shelton               acs@alumni.princeton.edu
 W.C.A. Wijngaards         wouter@NLnetLabs.nl
 Wayne Green               wayne@infosavvy.com