X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=THANKS;h=b5bd839e9db0e18c3cba22f313d95c1b5ef2aec6;hb=refs%2Fremotes%2Forigin%2Foutput;hp=914eadf2241b08b3d95b5122e228752fcae965c0;hpb=4944c86a9318bc5b5578ab145a95c116ffd2c9fd;p=pspp-builds.git

diff --git a/THANKS b/THANKS
index 914eadf2..b5bd839e 100644
--- a/THANKS
+++ b/THANKS
@@ -2,11 +2,13 @@ Thanks to...
                                        
      * David MacKenzie for writing Autoconf, the automatic configuration
        tool.
+
      * David MacKenzie and Tom Tromey for writing Automake, the tool for
        generating `Makefile's.
+
      * Ulrich Drepper et al for writing gettext, the GNU
        internationalization package.
+
      * François Pinard for advice on proceeding with development.
+
      * Jim Van Zandt for Debian packaging and suggestions.
-     * Torbj"orn Granlund and TMG Datakonsult for GNU gmp2 used in the 
-       portable file routines.