Kevin Ryde <user42 at zip.com.au>
authorGlenn Morris <rgm@gnu.org>
Fri, 10 Jul 2009 04:44:55 +0000 (04:44 +0000)
committerGlenn Morris <rgm@gnu.org>
Fri, 10 Jul 2009 04:44:55 +0000 (04:44 +0000)
commit4cbe53b4990cc3c29949561edd918a8c40173968
treebdae3d17006238da6b990f4b29f39506c5a8cc6a
parentb1c8242ba8af30313c63b0e399751005ae0d7cc6
Kevin Ryde  <user42 at zip.com.au>

Fix names of some elements.
etc/ChangeLog
etc/compilation.txt