-
unknown authored
manual.texi Removed a few more spurious occurances of 'Gemini'. The manual is now completely rid of and documentation about GEMINI. GEMINI is not manual.texi Open Source software. Docs/manual.texi: Removed a few more spurious occurances of 'Gemini'. The manual is now completely rid of and documentation about GEMINI. GEMINI is not Open Source software.
6f76a92d