fixes for file system #57

Merged
meierj merged 2 commits from mueller/fs-fixes into develop 2021-07-23 18:27:24 +02:00
Owner
  • Some bugs found by @Jakob.Meier fixed. More general checks introduced
  • Exception handling for std::filesystem
- Some bugs found by @Jakob.Meier fixed. More general checks introduced - Exception handling for std::filesystem
muellerr added 1 commit 2021-07-23 18:22:03 +02:00
muellerr added 1 commit 2021-07-23 18:23:09 +02:00
meierj approved these changes 2021-07-23 18:27:19 +02:00
meierj merged commit aeb1946776 into develop 2021-07-23 18:27:24 +02:00
meierj deleted branch mueller/fs-fixes 2021-07-23 18:27:33 +02:00
muellerr added this to the v1.4.0 milestone 2021-07-23 18:27:57 +02:00
Sign in to join this conversation.
No description provided.