54 commits

Author	SHA1	Message	Date
Unrud	2fe8fb47b3	fix websocket with https	2018-06-26 06:05:10 +02:00
Unrud	b5ed8ee23b	use shorter commands	2018-06-26 06:01:16 +02:00
Unrud	16a807f144	add reload button to disconnected-page	2018-06-25 06:12:37 +02:00
Unrud	a7012e15c2	import project	2018-06-23 17:40:58 +02:00