Remove nodiscard.h

Because it is no longer needed.
diffblue · Nov 14, 2023 · 8cfac64 · 8cfac64
1 parent 18310fe
commit 8cfac64
Showing 1 changed file with 0 additions and 14 deletions.
diff --git a/src/util/nodiscard.h b/src/util/nodiscard.h