fixed some minor typos in the docu.

2019-11-11 12:57:06 +01:00
parent af5a6e37d1
commit c71fc92cf0
9 changed files with 48 additions and 26 deletions
--- a/doc/html/genindex.html
+++ b/doc/html/genindex.html
@@ -979,7 +979,7 @@
    </div>
    <div class="footer">
        &copy; Copyright 2019, Andreas Suter.
-      Last updated on Jul 24, 2019.
+      Last updated on Nov 11, 2019.
      Created using <a href="http://sphinx-doc.org/">Sphinx</a> 1.2.3.
    </div>
  </body>