aboutsummaryrefslogtreecommitdiff
path: root/TODOs.md
diff options
context:
space:
mode:
Diffstat (limited to 'TODOs.md')
-rw-r--r--TODOs.md3
1 files changed, 3 insertions, 0 deletions
diff --git a/TODOs.md b/TODOs.md
index daac55d..fec0f75 100644
--- a/TODOs.md
+++ b/TODOs.md
@@ -1,5 +1,8 @@
# Tasks
+## TODO Assert `make clean all check install ...` does not depend on `aux/` {#task-079946ed-7e58-3051-78d6-71ba12342aba}
+- TODO in 2021-08-17
+
## TODO Improve `installcheck.sh` {#task-4a7e02bd-ab82-c628-fa1c-02749c178936}
- TODO in 2021-08-15