Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
35,558 Commits 28 Branches 143 Tags 606 MiB
Commit Graph

3 Commits

Author SHA1 Message Date
Anders Kaseorg d7d8632525 pygments_data: Replace JS module with JSON module. 
Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
 2020-02-12 10:09:12 -08:00
Anders Kaseorg 643bd18b9f lint: Fix code that evaded our lint checks for string % non-tuple. 
Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
 2019-04-23 15:21:37 -07:00
Eeshan Garg bb34ba37b5 tools: Rename build_pygments_data.py -> build_pygments_data. 
Dropping the file extension (.py) conforms to our naming
convention for such scripts.
 2017-09-26 16:00:41 -07:00