diff etc/compilation.txt @ 74443:54f6b7a5b5b8

Revert previous change (file checked into CVS 2002).
author Glenn Morris <rgm@gnu.org>
date Tue, 05 Dec 2006 07:08:56 +0000
parents 7f64dacbf7f1
children 0259a1711394 8a8e69664178
line wrap: on
line diff