zulip/tools
Keegan McAllister 91209f9304 Get initial server generation from first get_updates result
Embedding this in index.html won't work anymore, because the Django FastCGI and
the Tornado servers might have been started at different times.

(imported from commit 187909d0593449cf2989857671f9ca526723e451)
2012-10-17 18:24:15 -04:00
..
jslint Get initial server generation from first get_updates result 2012-10-17 18:24:15 -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: Use a different subject name for each push 2012-10-17 01:11:33 -04:00
run-dev.py Add a script for running a local dev instance of the app 2012-10-17 18:23:01 -04:00
update-deployment Update automated deployment code. 2012-08-31 14:44:36 -04:00