diff options
| -rw-r--r-- | TODOs.md | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -133,7 +133,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-23 + + Done in + [`412a3f36cb40dba18f4f0f70a6804882ac6c68eb`](https://git.euandreh.xyz/git-permalink/commit/?id=412a3f36cb40dba18f4f0f70a6804882ac6c68eb). - TODO in 2021-06-22 Actually, I didn't implement this. |