paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-17 04:12:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
24,361 Commits 30 Branches 160 Tags
e94efe5497eae6f6bb9ebd68cefa4e53e438d9df
Commit Graph

1 Commits

Author SHA1 Message Date
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