wizsid11 19d1f4cab7 git integration: Change push commits message to show url at the end.

2017-03-16 11:06:03 -07:00

..

__init__.py

…

doc.html

…

tests.py

git integration: Change push commits message to show url at the end.

2017-03-16 11:06:03 -07:00

view.py

Fix more errors caught by mypy 0.501.

2017-03-03 14:15:38 -08:00