From 8607772d4f9e21f53c1abfd9379737403b97f430 Mon Sep 17 00:00:00 2001 From: Steven Le Rouzic Date: Sun, 5 Jan 2025 15:25:45 +0100 Subject: Fix a few mistakes in option, and make it trivial when possible --- todo.txt | 1 - 1 file changed, 1 deletion(-) (limited to 'todo.txt') diff --git a/todo.txt b/todo.txt index 60d1751..2cc483d 100644 --- a/todo.txt +++ b/todo.txt @@ -2,6 +2,5 @@ hashing hash_set hash_map logging -status status_or dynlib -- cgit