diff etc/compilation.txt @ 86758:e545bcf321cc

Move to etc/nxml
author Glenn Morris <rgm@gnu.org>
date Wed, 28 Nov 2007 05:11:01 +0000
parents 1fa61031bef4
children 8dd090420a99 53108e6cea98
line wrap: on
line diff