equal
deleted
inserted
replaced
10 |
10 |
11 <p> |
11 <p> |
12 <!-- _GP_ setnavcolor("#F0F0F0") --> |
12 <!-- _GP_ setnavcolor("#F0F0F0") --> |
13 <!-- _GP_ page("Mirrors", "index") --> |
13 <!-- _GP_ page("Mirrors", "index") --> |
14 <!-- _GP_ empty_line(3) --> |
14 <!-- _GP_ empty_line(3) --> |
|
15 <!-- _GP_ page("Binaries", "binary") --> |
|
16 <!-- _GP_ empty_line(3) --> |
15 <!-- _GP_ page("Sources", "source") --> |
17 <!-- _GP_ page("Sources", "source") --> |
16 <!-- _GP_ empty_line(3) --> |
|
17 <!-- _GP_ page("Binaries", "binary") --> |
|
18 <!-- _GP_ empty_line(3) --> |
18 <!-- _GP_ empty_line(3) --> |
19 <!-- _GP_ page("Documentation", "docs") --> |
19 <!-- _GP_ page("Documentation", "docs") --> |
20 <!-- _GP_ empty_line(3) --> |
20 <!-- _GP_ empty_line(3) --> |
21 <!-- _GP_ page("Past Releases", "past") --> |
21 <!-- _GP_ page("Past Releases", "past") --> |
22 <!-- _GP_ empty_line(3) --> |
22 <!-- _GP_ empty_line(3) --> |