diff make-dist @ 111521:76c2ff4450eb

Standardize some file headers.
author Glenn Morris <rgm@gnu.org>
date Fri, 12 Nov 2010 19:34:36 -0800
parents 8752cead918b
children d276c036caef
line wrap: on
line diff