diff etc/compilation.txt @ 102593:4459c6020d05

Add missing entry.
author Glenn Morris <rgm@gnu.org>
date Mon, 16 Mar 2009 00:13:34 +0000
parents bfad00b8a4f5
children e81c75893d07
line wrap: on
line diff