3 commits

Author	SHA1	Message	Date
Robert Hönig	3d05b88cc2	botserver: Rename zulip-bot-server to zulip-botserver. ... This is consistent with the correct prose "Botserver" (instead of "Bot-server").	2018-06-04 10:14:17 -07:00
Robert Hönig	762118bbea	Rename flaskbotrc to botserverrc.	2018-05-29 10:19:50 +02:00
Eeshan Garg	928d5ca16d	flask_server: Move the server to its own package.	2017-07-18 01:31:54 -02:30