manual.texi Updated all mirror sites, removing out of date or

manual.texi	non-existent sites (sent mail to maintainers).
parent 3c7e53dd
This diff is collapsed.
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment