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.
0cd003e1 · unknown · f9da4c86 · 0cd003e1 · 0cd003e1
Commit 0cd003e1 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