diff options
-rw-r--r-- | TODOs.md | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -16,7 +16,11 @@ [`de7838f0568e0d437822407d46d95e0269a81912`](https://git.euandreh.xyz/remembering/commit/?id=de7838f0568e0d437822407d46d95e0269a81912). - TODO in 2021-06-12 -## TODO Use monospace font inside `.EX`/`.EE` tags {#task-fe406a67-e406-41a7-df4a-1e006dc636e9} +## DONE Use monospace font inside `.EX`/`.EE` tags {#task-fe406a67-e406-41a7-df4a-1e006dc636e9} +- DONE in 2021-06-14 + + Done in + [`231dbf7038efd6a5289444108b4ea36962fe4743`](https://git.euandreh.xyz/remembering/commit/?id=231dbf7038efd6a5289444108b4ea36962fe4743). - TODO in 2021-06-07 ## DONE What about UTF-8? {#task-19f9d131-696a-3417-c052-6312f04a33af} |