Nominal/manual/INSTALL
changeset 410 d765ecc5b2df
parent 402 9e089afe5086