X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=THANKS;h=18024d0a834b962510430a3e8cc7ee855ada4508;hb=8ca7ae9f41dfaaa3f7e386238faea46809c17f40;hp=630f4c50a08ae7e4726a245439004a1fe1e24b64;hpb=b2b2b0a29f80de89d96bcceea90f117930ab47b9;p=pspp diff --git a/THANKS b/THANKS index 630f4c50a0..18024d0a83 100644 --- a/THANKS +++ b/THANKS @@ -1,7 +1,7 @@ Thanks to... * The Gnulib team for painstaking work to enable portability. - + * David MacKenzie for writing Autoconf, the automatic configuration tool. @@ -11,7 +11,7 @@ Thanks to... * Ulrich Drepper et al for writing gettext, the GNU internationalization package. - * François Pinard for advice on proceeding with development. + * François Pinard for advice on proceeding with development. * Jim Van Zandt and "Bojo" for Debian packaging and suggestions.