Commit Graph

1 Commits (5c894efd0ee67bf911b9c3b5428a61ddc58819de)

Author SHA1 Message Date
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