# HG changeset patch # User Mike Becker # Date 1509182634 -7200 # Node ID e36e7933f46659e5174a00e605776fd5a890709d # Parent 2c21b42cf11db5e71c8c2a5c79b0856f63497299 TOC for modules documentation diff -r 2c21b42cf11d -r e36e7933f466 docs/src/header.html --- a/docs/src/header.html Fri Oct 20 15:28:06 2017 +0200 +++ b/docs/src/header.html Sat Oct 28 11:23:54 2017 +0200 @@ -16,10 +16,24 @@