Kegsay
|
11a8059bba
|
Rename the typing server to EDU server (#948)
* Blunt move and sed rename
* Rename common/ refs to typing
* Rename internal stuff in eduserver
* Rename docs and scripts
* Rename constants/filenames, goimports everything to re-order imports
|
2020-03-30 15:02:20 +01:00 |
Victor Cuadrado Juan
|
386cc975f0
|
Add typingserver service to docker-compose (#692)
Signed-off-by: Víctor Cuadrado Juan <me@viccuad.me>
|
2019-08-09 11:30:38 +01:00 |
Aaron Raimist
|
76a81e51b3
|
Remove riot.im from the list of trusted ID servers in the default config (#688)
Signed-off-by: Aaron Raimist <aaron@raim.ist>
|
2019-01-31 10:06:11 +00:00 |
Matthew Hodgson
|
daf57b19b7
|
make docker work on current codebase (#584)
|
2018-11-06 18:14:39 +00:00 |
mujx
|
1bcb673e3c
|
Set up a development environment with docker (#387)
Signed-off-by: Konstantinos Sideris <sideris.konstantin@gmail.com>
|
2018-01-02 18:26:37 +00:00 |