diff make-dist @ 97634:04c7229f90ae

Remove outdated header comments.
author Glenn Morris <rgm@gnu.org>
date Sat, 23 Aug 2008 03:20:09 +0000
parents f13d2ef47961
children 9419b837e9c6
line wrap: on
line diff