Thomas Gelf 5324875ab6 DocTocRenderer: no anchor for toplevel entries ... Makes links look better and hides anchor-encoding issues at least on top level		2015-11-13 09:37:02 +01:00
..
Doc	DocTocRenderer: no anchor for toplevel entries	2015-11-13 09:37:02 +01:00