diff --git a/Doc/TODO.txt b/Doc/TODO.txt deleted file mode 100644 index 4eb852e0f9c..00000000000 --- a/Doc/TODO.txt +++ /dev/null @@ -1,7 +0,0 @@ -To do -===== - -* split very large files and add toctrees -* finish "Documenting Python" -* care about XXX comments -* X-refs to statements