From 2266004a2ce90e37f133a18777de9774a3c79e2f Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Tue, 22 Jun 2021 09:54:20 -0300 Subject: TODOs.md: Mark #task-9ee2bbc8-295f-52b7-4104-483869bad017 as DONE --- TODOs.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/TODOs.md b/TODOs.md index 161d344..7c347cc 100644 --- a/TODOs.md +++ b/TODOs.md @@ -103,7 +103,11 @@ See `man man.1` for reference. [Conventions for Command Line Options]: https://nullprogram.com/blog/2020/08/01/ - TODO in 2021-06-21 -## TODO Use `getopts` in `aux/workflow/manpages.sh` {#task-9ee2bbc8-295f-52b7-4104-483869bad017} +## DONE Use `getopts` in `aux/workflow/manpages.sh` {#task-9ee2bbc8-295f-52b7-4104-483869bad017} +- DONE in 2021-06-22 + + Done kind of in + [`0ee2ce2c85d3376b35dc9338309e50e3c6f9eb80`](https://git.euandreh.xyz/git-permalink/commit/?id=0ee2ce2c85d3376b35dc9338309e50e3c6f9eb80). - TODO in 2021-06-21 --- -- cgit v1.2.3