diff options
| author | JAROWMR <jarorutjes07@gmail.com> | 2024-11-21 20:40:08 +0100 |
|---|---|---|
| committer | JAROWMR <jarorutjes07@gmail.com> | 2024-11-21 20:40:08 +0100 |
| commit | d58a059fd6398527274e77a37b65aa105c8a778b (patch) | |
| tree | 26d345400739ec685bbe6b26d8d789bbe33b02aa /src/crepe/util/CMakeLists.txt | |
| parent | faa9adb84ad3f675587b52fba79cf44b7bdd2034 (diff) | |
| parent | 115d6f50152dc018073345800ca90b85846ebaa9 (diff) | |
merge with master
Diffstat (limited to 'src/crepe/util/CMakeLists.txt')
| -rw-r--r-- | src/crepe/util/CMakeLists.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/crepe/util/CMakeLists.txt b/src/crepe/util/CMakeLists.txt index 4be738a..94ed906 100644 --- a/src/crepe/util/CMakeLists.txt +++ b/src/crepe/util/CMakeLists.txt @@ -9,5 +9,7 @@ target_sources(crepe PUBLIC FILE_SET HEADERS FILES Log.hpp Proxy.h Proxy.hpp + OptionalRef.h + OptionalRef.hpp ) |