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
..
2020-03-27 16:28:22 +00:00
2020-03-19 10:25:36 +00:00
2020-03-27 16:28:22 +00:00