Andreas Fabri 7c62b14fd0 Let's remove the manipulators again, as they are of little practical value		2017-06-30 18:13:42 +02:00
..
Stream_support	Let's remove the manipulators again, as they are of little practical value	2017-06-30 18:13:42 +02:00