This commit is contained in:
Irmen de Jong
2019-01-14 21:31:14 +01:00
parent 98e95b5707
commit 870c6ea747
13 changed files with 109 additions and 82 deletions

View File

@ -171,5 +171,4 @@ texinfo_documents = [
# -- Options for to do extension ----------------------------------------------
# If true, `todo` and `todoList` produce output, else they produce nothing.
todo_include_todos = True