diff options
| author | EuAndreh <eu@euandre.org> | 2021-08-06 16:29:08 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-08-06 16:29:26 -0300 |
| commit | f128c9861e5f42a47e5f2a7fad7d1376fb105010 (patch) | |
| tree | b8577c4fe1a07f818ffae6aa7b2f2ca9f0e23c25 | |
| parent | TODOs.md: Add update notice to #decision-6c2801da-bcb9-dd38-69bf-270a6f9b5acd (diff) | |
| download | git-permalink-f128c9861e5f42a47e5f2a7fad7d1376fb105010.tar.gz git-permalink-f128c9861e5f42a47e5f2a7fad7d1376fb105010.tar.xz | |
TODOs.md: Add #task-a0644009-70d7-56ff-c595-ea39fe24dc2b
| -rw-r--r-- | TODOs.md | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -1,5 +1,8 @@ # Tasks +## TODO `installcheck.sh`: Run `make all check` in a different directory, without the Git repository {#task-a0644009-70d7-56ff-c595-ea39fe24dc2b} +- TODO in 2021-08-06 + ## TODO Run "check" in `installcheck` target {#task-db34da8d-bf61-43ae-b8f0-f2299834a937} - TODO in 2021-08-02 |