File name fixes, for AUTHORS.
authorGlenn Morris <rgm@gnu.org>
Fri, 19 Dec 2008 03:14:49 +0000 (03:14 +0000)
committerGlenn Morris <rgm@gnu.org>
Fri, 19 Dec 2008 03:14:49 +0000 (03:14 +0000)
commit0dcb2845c8b3b403bfdd43feec3655296a82fbde
treee72733dd638ab7e26d369aade470b74d8297f0f0
parent178463e7bce7108c35d05244722d4e040ef3a45e
File name fixes, for AUTHORS.
admin/ChangeLog