a923eff9a4
We were not consistently applying .lower() every time we construct an hyperlink, so there would be case mismatch. It works fine to keep the natural case for those links. |
||
---|---|---|
.. | ||
classes | ||
tools | ||
Doxyfile | ||
Makefile |