Johannes Kapfhammer 080e3f1261 add functions to redirect input/output ... those two multiply the output into a file: void redirect_output(const char *filename); void redirect_output(std::string const &filename) those two read everything from a file: redirect_input(const char *filename); redirect_input(std::string const& filename); both can be resetted using: void reset_input(); reset_output();		2019-10-28 21:26:54 +01:00
..
bits	add functions to redirect input/output	2019-10-28 21:26:54 +01:00
soi	add functions to redirect input/output	2019-10-28 21:26:54 +01:00