Jakob Ketterl bee6ddc843 use information from the mode registry to set up services		2020-12-06 00:36:20 +01:00
..
csdr.py	use information from the mode registry to set up services	2020-12-06 00:36:20 +01:00
pipe.py	thread names to aid debugging	2020-08-14 20:22:25 +02:00