check off todo

diff --git a/todo b/todo
index 03444b6..534101e 100644 (file)
--- a/todo
+++ b/todo
@@ -1,5 +1,4 @@
 delete halfway-built output files when interrupted
-collect per-command timing, perhaps saving with command lines
 
 "explain" mode that shows why we're building a file
 "one file" mode that builds only outputs of a single file