summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorAkim Demaille <akim@epita.fr>2002-09-06 11:10:37 +0000
committerAkim Demaille <akim@epita.fr>2002-09-06 11:10:37 +0000
commit899f0c52eb60baf7f37417e8ad73862eb5618133 (patch)
tree929d967995c94cc7048b63071b98e04bc1d6c554 /THANKS
parentf0d92912ac43b0bbaa3e7c5105cd57ca493ad319 (diff)
downloadautoconf-899f0c52eb60baf7f37417e8ad73862eb5618133.tar.gz
* doc/autoconf.texi (Setting Output Variables): Clarify what
precious variables are. Suggested by Pontus Skoeld.
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index 16915771..19682b23 100644
--- a/THANKS
+++ b/THANKS
@@ -144,6 +144,7 @@ Peter Eisentraut peter_e@gmx.net
Peter Simons simons@research.cys.de
Peter Stephenson pws@csr.com
Philipp Thomas kthomas@gwdg.de
+Pontus Skoeld pont@soua.net
Rainer Orth ro@TechFak.Uni-Bielefeld.DE
Raja R Harinath harinath@cs.umn.edu
Ralf Corsepius corsepiu@faw.uni-ulm.de