diff make-dist @ 100522:68e470bad53d

File name fix, for AUTHORS.
author Glenn Morris <rgm@gnu.org>
date Fri, 19 Dec 2008 03:08:08 +0000
parents 9419b837e9c6
children 38e7317321ea
line wrap: on
line diff