Jakob Ketterl 7e5ea6e065 improve read pipe opening		2020-08-14 20:20:07 +02:00
..
csdr.py	extract pipes to separate file	2020-08-14 19:54:07 +02:00
pipe.py	improve read pipe opening	2020-08-14 20:20:07 +02:00