R. Richard f5e7d6016a Fix condition in PR #62		2019-08-08 08:27:41 +02:00
..
frontend	Restore generate_messages_from_queue()	2019-08-07 11:24:56 +02:00
fsm	Fix condition in PR #62	2019-08-08 08:27:41 +02:00
ide	Simplify IDE handler and file manager	2019-08-07 09:44:03 +02:00
pipe_io	Replace pipe-io-server source with the new pip package	2019-08-06 11:33:26 +02:00
process_management	Update process- and logmonitor according to the new API	2019-08-07 09:47:57 +02:00
snapshots	Rename ServerConnector interface to Connector ¯\_(ツ)_/¯	2019-07-30 15:17:29 +02:00
terminal	Simplify terminal handler	2019-08-07 09:47:28 +02:00
__init__.py	Simplify package structure	2019-07-24 15:50:41 +02:00