Damien George 8cc8f280eb docs: Make index link point to "index.html" irrespective of port.

2015-06-27 13:41:24 +01:00

..

layout.html

docs: Make index link point to "index.html" irrespective of port.

2015-06-27 13:41:24 +01:00