comparison make-dist @ 104190:efe4688761b7

Fix header.
author Glenn Morris <rgm@gnu.org>
date Sat, 08 Aug 2009 02:34:17 +0000
parents 15f0b2d2eef8
children b51e687e8c81
comparison
equal deleted inserted replaced
104189:8bc0331ec4e5 104190:efe4688761b7