R. Richard f8ff0bcbb4 Simplify sending bot messages

2019-08-07 09:49:05 +02:00

..

frontend

Simplify sending bot messages

2019-08-07 09:49:05 +02:00

fsm

Update FSM related classes according to the new API

2019-08-07 09:46:58 +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