18void read_data_file(configuration
const &
config, std::vector<std::vector<std::string>> & filenames);
Definition: check_filenames.hpp:16
void read_data_file(configuration const &config, std::vector< std::vector< std::string > > &filenames)
Definition: read_data_file.cpp:24
Definition: shared.hpp:19