diff etc/compilation.txt @ 79864:c7f971579368

Regenerate.
author Glenn Morris <rgm@gnu.org>
date Thu, 17 Jan 2008 04:06:19 +0000
parents edded8728ab1
children 107ccd98fa12
line wrap: on
line diff