diff etc/compilation.txt @ 95588:be81a1d92312

Fix comment typo.
author Glenn Morris <rgm@gnu.org>
date Thu, 05 Jun 2008 16:51:30 +0000
parents cbf5528cf447
children e3a663b9dab6
line wrap: on
line diff