diff etc/compilation.txt @ 104190:efe4688761b7

Fix header.
author Glenn Morris <rgm@gnu.org>
date Sat, 08 Aug 2009 02:34:17 +0000
parents ec8fb318bade
children 1f553b32ab4f
line wrap: on
line diff