Vincent Vialard 1608ade3f4 - hide ToC icon in header if ToC not enabled (#225)

2020-05-25 22:40:54 +02:00

..

docs

- hide ToC icon in header if ToC not enabled (#225)

2020-05-25 22:40:54 +02:00