diff etc/compilation.txt @ 72100:aba5975bd656

Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Mon, 24 Jul 2006 17:42:40 +0000
parents 7f64dacbf7f1
children 0259a1711394 8a8e69664178
line wrap: on
line diff