paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-10 17:07:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Rename tools/lint-all to tools/lint.

Browse Source 
Fixes #4574.
This commit is contained in:
Joshua Pan
2017-04-21 14:07:06 -07:00
committed by Tim Abbott
parent f4a4c23380
commit 64984f5bf4
9 changed files with 37 additions and 37 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tools/lib/provision.py
View File

@@ -119,7 +119,7 @@ UBUNTU_COMMON_APT_DEPENDENCIES = [
"yui-compressor",
"wget",
"ca-certificates", # Explicit dependency in case e.g. wget is already installed
"puppet", # Used by lint-all
"puppet", # Used by lint
"gettext", # Used by makemessages i18n
"curl", # Used for fetching PhantomJS as wget occasionally fails on redirects
"netcat", # Used for flushing memcached