This repository has been archived on 2022-11-26. You can view files and clone it, but cannot push or open issues or pull requests.

Evert Prants 43a136d293 Consistency / some clean-up		2020-02-05 23:04:19 +02:00
..
document	Consistency / some clean-up	2020-02-05 23:04:19 +02:00
js	Consistency / some clean-up	2020-02-05 23:04:19 +02:00
server	MAJOR OVERHAUL: Working WebSocket client! No translation server, yet.	2020-02-03 21:45:12 +02:00
style	Consistency / some clean-up	2020-02-05 23:04:19 +02:00