diff INSTALL @ 65710:53915676421c

Tiny changes and clarifications by Emanuele Giaquinta <emanuele.giaquinta@gmail.com>.
author Francesco Potortì <pot@gnu.org>
date Tue, 27 Sep 2005 13:47:17 +0000
parents 88d561445a39
children 6cd56cde7cd4
line wrap: on
line diff