diff make-dist @ 86655:fb7d6bca89fb

Move to etc/nxml
author Glenn Morris <rgm@gnu.org>
date Wed, 28 Nov 2007 05:04:44 +0000
parents c9c2e3b42307
children 2c4cf44f634f
line wrap: on
line diff