R. Richard 35e5b595d1 Rename message keys		2019-08-08 14:45:59 +02:00
..
frontend	Restore generate_messages_from_queue()	2019-08-07 11:24:56 +02:00
fsm	Rename message keys	2019-08-08 14:45:59 +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	Rename message keys	2019-08-08 14:45:59 +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