Function AddFileExtension

src/colmap/util/file.cc:82–86

}

std::filesystem::path AddFileExtension(std::filesystem::path path,
                                       const std::string& ext) {
  path += ext;
  return path;
}

void SplitFileExtension(const std::string& path,
                        std::string* root,