ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #10106 from arekzaluski/manifest-tool-pypi 

Update manifest tool to version 1.4.8 and install it from pypi
pull/10086/head
Martin Kojtal 2019-03-15 21:22:12 +01:00 committed by GitHub
parent 35e30e1b70 7f389bd6df
commit d6088e5017
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
requirements.txt
View File

@ -17,7 +17,7 @@ mbed-host-tests>=1.4.4,<1.6
mbed-greentea>=0.2.24,<1.7
beautifulsoup4>=4,<=4.6.3
pyelftools>=0.24,<=0.25
git+https://github.com/armmbed/manifest-tool.git@v1.4.6
manifest-tool==1.4.8
icetea>=1.2.1,<1.3
pycryptodome>=3.7.2,<=3.7.3
pyusb>=1.0.0,<2.0.0