Update TODO

jirilebl · Sep 10, 2020 · 4f56374 · 4f56374
1 parent 3164533
commit 4f56374
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/TODO b/TODO
@@ -1,7 +1,3 @@
-Things not marked with FIXMEs in the file
-
-* check more for open sets / domains empty/nonempty problems
-
 Things definitely for the next version
 
 * Riemann surfaces