zulip/tools
Waseem Daher 3c3877f1b5 Have Esc dismiss userinfo popover.
It's possible that the three places we can kill a popover
(body click, Esc, clicking on a new one) should be
refactored to use the same code.

(imported from commit ba7eab480fd2258abfb469c8f1155f29bc63f7f6)
2012-10-29 15:49:40 -04:00
..
jslint Have Esc dismiss userinfo popover. 2012-10-29 15:49:40 -04:00
print-all print-all: Provide empty stdin to latex 2012-10-28 15:20:05 -04:00
check-all Make output of check-all red 2012-10-25 15:55:58 -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: Deploy to the new server 2012-10-27 11:39:03 -04:00
run-dev.py run-dev: Update for new get_updates URL 2012-10-17 18:24:15 -04:00
update-deployment update-deployment: Fix undefined name 2012-10-19 20:51:56 -04:00