manual.texi Updated Mascon entry to new version. Docs/manual.texi: Typo fix. Added mirror in Ukraine.
Attach a file by drag & drop or click to upload
