2 commits

Author	SHA1	Message	Date
Kegsay	24d8df664c	Fix #897 and shuffle directory around (#1054) ... * Fix #897 and shuffle directory around * Update find-lint * goimports Co-authored-by: Neil Alexander <neilalexander@users.noreply.github.com>	2020-05-21 14:40:13 +01:00
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