From 299e3e6cb12b1bd08fa0b655572262ccd6ffde15 Mon Sep 17 00:00:00 2001
From: David Hendriks <davidhendriks93@gmail.com>
Date: Sun, 17 Nov 2019 14:19:37 +0000
Subject: [PATCH] updated todolist

---
 docs/notes.org | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/notes.org b/docs/notes.org
index 6408633f0..4e0f65d29 100644
--- a/docs/notes.org
+++ b/docs/notes.org
@@ -2,5 +2,6 @@
 https://stackoverflow.com/questions/39534718/how-to-create-a-pdf-out-of-sphinx-documentation-tool
 * Todo:
 ** TODO Write script to automatically rebuild the whole bunch
+** TODO: use typing from mypy and build that into the docs
 https://github.com/seqan/seqan3-doc/blob/user/source/make_source.py
-https://www.pythonforthelab.com/blog/documenting-with-sphinx-and-readthedocs/
\ No newline at end of file
+https://www.pythonforthelab.com/blog/documenting-with-sphinx-and-readthedocs/
-- 
GitLab