config/INSTALL
changeset 772 30e5193cc19a
parent 353 17bffb57a8c5