File name fixes, for AUTHORS.
authorGlenn Morris <rgm@gnu.org>
Fri, 19 Dec 2008 03:11:47 +0000 (03:11 +0000)
committerGlenn Morris <rgm@gnu.org>
Fri, 19 Dec 2008 03:11:47 +0000 (03:11 +0000)
commit7de6767d8aeb963c52b0cb4b3e3db6ee8afe3b22
tree08268c3b3bbb76eeffe32305c7c9fcd85773f9f9
parentf1fc42aa79d201cac780c87b899e7928c92f8c31
File name fixes, for AUTHORS.
etc/ChangeLog