# HG changeset patch # User Mike Becker # Date 1562334477 -7200 # Node ID 8acf182f6424195aa868ce97d38fe50a96217d4d # Parent ae368664625fe81953dca114304a038786050c82 adds documentation diff -r ae368664625f -r 8acf182f6424 docs/src/header.html --- a/docs/src/header.html Fri Jul 05 15:07:43 2019 +0200 +++ b/docs/src/header.html Fri Jul 05 15:47:57 2019 +0200 @@ -21,6 +21,7 @@
  • Modules