summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorTom Tromey <tromey@redhat.com>1997-08-27 19:04:11 +0000
committerTom Tromey <tromey@redhat.com>1997-08-27 19:04:11 +0000
commitac6bacbd5df84f77ef7a8858bbf298adb30f8cde (patch)
tree72d68ede9bb29ec7de7ead009418555faad9445f /THANKS
parentb79da84a134baf2a03f23b2d80c84e7044c87220 (diff)
downloadautomake-ac6bacbd5df84f77ef7a8858bbf298adb30f8cde.tar.gz
texinfo handling fix
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index 6d5b5fee4..2e66e4d6a 100644
--- a/THANKS
+++ b/THANKS
@@ -3,6 +3,7 @@ It would not be what it is today without the invaluable help of these
people:
"Markus F.X.J. Oberhumer" <k3040e4@wildsau.idv-edu.uni-linz.ac.at>
+"Paul D. Smith" <psmith@BayNetworks.COM>
Akim Demaille <demaille@inf.enst.fr>
Alexander V. Lukyanov <lav@yars.free.net>
Alexandre Oliva <oliva@dcc.unicamp.br>