config/INSTALL
changeset 741 cdce312be3c4
parent 353 17bffb57a8c5