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
..
client.go	Fix pipeline, emoji and syntax (#713)	2019-06-19 14:05:03 +01:00
config.go	Rename the typing server to EDU server (#948)	2020-03-30 15:02:20 +01:00
kafka.go	use go module for dependencies (#594)	2019-05-21 21:56:55 +01:00
server.go	use go module for dependencies (#594)	2019-05-21 21:56:55 +01:00
slice.go	use go module for dependencies (#594)	2019-05-21 21:56:55 +01:00