paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-12 09:58:06 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
84c968ab36a7d5461a4ee2bc0e4c4761e099acb6
zulip/tools/setup/build_pygments_data
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

766 B
Executable File
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink