j3d1/json
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

⬆️ added script to update cpplint

Browse source
This commit is contained in:
Niels Lohmann 2019-03-28 14:23:07 +01:00
parent 191aa0fd6f
commit 23635704c3
No known key found for this signature in database
GPG key ID: 7F3CEA63AE251B69
3 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

0
third_party/cpplint/LICENSE vendored Executable file → Normal file
View file

0
third_party/cpplint/README.rst vendored Executable file → Normal file
View file

5
third_party/cpplint/update.sh vendored Executable file
View file

@ -0,0 +1,5 @@
#!/bin/sh
wget -N https://raw.githubusercontent.com/cpplint/cpplint/master/cpplint.py
wget -N https://raw.githubusercontent.com/cpplint/cpplint/master/LICENSE
wget -N https://raw.githubusercontent.com/cpplint/cpplint/master/README.rst