| 35 | } |
| 36 | |
| 37 | std::filesystem::path filename_without_extension( |
| 38 | const std::filesystem::path& path ) |
| 39 | { |
| 40 | return path.filename().replace_extension( "" ).string(); |
| 41 | } |
| 42 | |
| 43 | std::filesystem::path filepath_without_extension( |
| 44 | const std::filesystem::path& path ) |