Recover lost header optional.hpp

Recover the header that was mislaid during directory and file renaming.
bemanproject · Jun 3, 2024 · a749218 · a749218
1 parent a325323
commit a749218
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/src/beman/optional/optional.h → src/beman/optional/optional.hpp b/src/beman/optional/optional.h → src/beman/optional/optional.hpp