* etc/MACHINES: Remove some old information no longer of relevance.
authorGlenn Morris <rgm@gnu.org>
Fri, 28 May 2010 03:25:50 +0000 (20:25 -0700)
committerGlenn Morris <rgm@gnu.org>
Fri, 28 May 2010 03:25:50 +0000 (20:25 -0700)
commitad5a72094e7a4835785d3959edf4d17b97a349bd
treec5162a98db2b59e85e93b49a8f1abacb13f8a387
parentc64233b26bec70cacba63e5155914b659dc088b6
* etc/MACHINES: Remove some old information no longer of relevance.
Switch to outline-mode.
etc/ChangeLog
etc/MACHINES