diff etc/compilation.txt @ 103609:373ed9f0e728

Minor revisions.
author Glenn Morris <rgm@gnu.org>
date Sun, 28 Jun 2009 01:42:03 +0000
parents bfad00b8a4f5
children e81c75893d07
line wrap: on
line diff