X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=THANKS;fp=THANKS;h=18024d0a834b962510430a3e8cc7ee855ada4508;hb=facb4a1ad3c9e8b2cdf55824680eed2afb91aebe;hp=ecb3a7bd148a0f0a8ae948b78bf27f7e0fe0ba73;hpb=a70857ce808bba36e67a66375290e340dcf75adc;p=pspp diff --git a/THANKS b/THANKS index ecb3a7bd14..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.