diff options
-rw-r--r-- | TODOs.md | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -7,9 +7,6 @@ [`a923f39376c511f128eb84a8b32b7464737a3972`](https://git.euandreh.xyz/package-repository/commit/?id=a923f39376c511f128eb84a8b32b7464737a3972). - TODO in 2021-07-13 -## TODO Should I switch from pandoc to groff for generating HTML? {#task-539a1902-ed41-fc93-806a-088b6caf8134} -- TODO in 2021-07-10 - ## DONE Add `installcheck` and `uninstallcheck` targets {#task-0b034315-cbd2-6fd6-fd32-9e00a12b7594} - DONE in 2021-07-07 @@ -512,6 +509,9 @@ So here I'm optimizing for more things being commited in the repository in the n # Questions +## TODO Should I switch from pandoc to groff for generating HTML? {#question-539a1902-ed41-fc93-806a-088b6caf8134} +- TODO in 2021-07-10 + ## DONE Is an empty blank line in groff the same as a `.P` request? {#question-e3b7748d-2e67-b60b-e966-ad80c754ea58} - DONE in 2021-06-16 |