095270056b
* Add a repo url This will let people jump directly to editing the docs from the UI, in case further tweaks are required. * Fix omitted renaming of "edge server" to "edge service" * Hide the prev/next buttons by default They aren't very useful and cause the header to collapse vertically in a very awkward way. |
||
|---|---|---|
| .. | ||
| main.html | ||