clean_whitespace   70 old_code/2015linfty/dune_bdf.hpp 		auto clean_whitespace = [](const std::string& line)
clean_whitespace   87 old_code/2015linfty/dune_bdf.hpp 			lines.push_back(clean_whitespace(line));
clean_whitespace   76 old_code/tumor_growth/tumor_bdf.h     auto clean_whitespace = [](const std::string& line)
clean_whitespace   93 old_code/tumor_growth/tumor_bdf.h       lines.push_back(clean_whitespace(line));
clean_whitespace  225 src/grid_GridAndTime_impl.cpp     lines.push_back(clean_whitespace(line));
clean_whitespace  200 src/grid_GridAndTime_impl.h     std::string clean_whitespace(const std::string&);