Actually fixes #694 by providing an option to make the labels like they used to be. |
||
|---|---|---|
| .. | ||
| instances | ||
| about.html | ||
| general.html | ||
| index.html | ||
Actually fixes #694 by providing an option to make the labels like they used to be. |
||
|---|---|---|
| .. | ||
| instances | ||
| about.html | ||
| general.html | ||
| index.html | ||