List of mirrors now separate include file.

Docs/mirrors.texi: Fixup for mirrors file.

List of mirrors now separate include file.
Docs/mirrors.texi: Fixup for mirrors file.
7f212d7c · unknown · 41c6a0f7 · 7f212d7c · 7f212d7c
Commit 7f212d7c authored Nov 21, 2001 by unknown
Expand all Hide whitespace changes
Inline Side-by-side

Showing with 78 additions and 929 deletions

Docs/manual.texi Docs/manual.texi +2 -853

Docs/mirrors.texi Docs/mirrors.texi +76 -76

No files found.
--- a/Docs/manual.texi
+++ b/Docs/manual.texi
--- a/Docs/mirrors.texi
+++ b/Docs/mirrors.texi