Sebastian Hugentobler 0c5f6ebcef use file instead of pipe		2017-03-29 15:17:26 +02:00
..
etc	use file instead of pipe	2017-03-29 15:17:26 +02:00