Nominal/manual/INSTALL
changeset 407 7995bc5554b7
parent 402 9e089afe5086