-
unknown authored
manual.texi non-existent sites (sent mail to maintainers). Docs/manual.texi: Updated all mirror sites, removing out of date or non-existent sites (sent mail to maintainers).
af228dee
manual.texi non-existent sites (sent mail to maintainers). Docs/manual.texi: Updated all mirror sites, removing out of date or non-existent sites (sent mail to maintainers).