Add option to compress output files in run-all.

[loba.git] / TODO

diff --git a/TODO b/TODO
index 329df78c2e9b9d768bc9ab9905c3cc6b89afbbbe..fcd2d79938522709e1a6a80b1f15999456b7728f 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,5 +1,4 @@
 * In run-all:
-  - Fix compression of output files (make it optional?).
   - Use more legible names for generated files.
     Current problems are:
     . file names are too long.