zulip/tools
Zev Benjamin 103bf321b4 Have client and server exchange a server generation number
This will allow the client to detect when the server has restarted.

(imported from commit 89e75916719d967beb2520be6263f79f897d9ec1)
2012-10-16 15:30:09 -04:00
..
jslint Have client and server exchange a server generation number 2012-10-16 15:30:09 -04:00
check-all check-all: Show unused imports if passed --imports 2012-10-15 16:16:10 -04:00
clean-repo Add a tool for removing stale *.pyc files 2012-10-12 13:28:09 -04:00
django-template-graph django-template-graph: Replace slashes with newlines 2012-10-16 01:45:37 -04:00
do-schema-change do-schema-change: Recreate the auth_user email index. 2012-10-12 11:09:53 -04:00
post-receive post-receive: Include an abbrev sha1 in the message 2012-10-11 11:49:24 -04:00
update-deployment Update automated deployment code. 2012-08-31 14:44:36 -04:00