Closed rainman110 closed 10 months ago
In GitLab by @rainman110 on May 8, 2023, 08:19
added 1 commit
In GitLab by @rainman110 on May 8, 2023, 08:19
marked this merge request as ready
In GitLab by @rainman110 on May 8, 2023, 08:20
requested review from @mariusalexander
In GitLab by @rainman110 on May 8, 2023, 08:26
added 1 commit
In GitLab by @mariusalexander on May 8, 2023, 08:28
approved this merge request
In GitLab by @rainman110 on May 8, 2023, 08:39
mentioned in commit 651572ebd007823f0af4cf3cf07f9c0d2155b8c0
In GitLab by @rainman110 on May 8, 2023, 08:09
Merges 46-rename-cmake-config-files -> master
This is required such that cmake under linux will find gtlab logging (due to different character case handling in the file system).
Closes #46