diff options
author | Steven Le Rouzic <steven.lerouzic@gmail.com> | 2025-01-05 15:25:45 +0100 |
---|---|---|
committer | Steven Le Rouzic <steven.lerouzic@gmail.com> | 2025-01-05 15:25:45 +0100 |
commit | 8607772d4f9e21f53c1abfd9379737403b97f430 (patch) | |
tree | fcd5a5030bb1cc0ba4dd4069a0d7174a67791c03 /todo.txt | |
parent | b53fc9038f4579974c9eea28e82b693a7fd66522 (diff) |
Fix a few mistakes in option, and make it trivial when possible
Diffstat (limited to 'todo.txt')
-rw-r--r-- | todo.txt | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -2,6 +2,5 @@ hashing hash_set hash_map logging -status status_or dynlib |