secure versions of the sites, so link to the secure version directly. Note that for wiki links I have only fixed up key links in navbars etc, there are a large number of other links but fixing them does not seem worth the churn. |
||
|---|---|---|
| .. | ||
| books.xml | ||
| Makefile | ||
| webresources.xml | ||