Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
31,162 Commits 28 Branches 142 Tags 698 MiB
Commit Graph

5 Commits

Author SHA1 Message Date
Anders Kaseorg ee8ff4df66 tools: Remove unused imports. 
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
 2019-02-02 17:10:31 -08:00
Tim Abbott 2558f101af docs: Add documentation for `if False` mypy pattern in scripts. 
This should help make it clear what's going on with these scripts.
 2018-12-17 11:12:53 -08:00
Tim Abbott 209df75ffa lint: Enforce use of Python 2 style typing in zulint. 
This is intended to be extracted as an external project that supports
Python 2+3.
 2018-12-17 11:00:08 -08:00
Tim Abbott 3b53ddf779 zulint: Stop importing color codes from zulip_tools.py. 
This is I think the final dependency that zulint/ has on the rest of
the project.
 2018-08-04 19:53:53 -07:00
Tim Abbott c0beeebc3e zulint: Move printer.py module to tools/zulint. 
At this point, tools/linter_lib is intended to be the directory of
Zulip-specific code.
 2018-08-04 19:53:53 -07:00