2 Commits

Include renames

Author	SHA1	Message	Date
Ivan Grokhotkov	f38c1c18a8	tools: install.bat: bail out if idf_tools.py call fails ... Makes installation errors easier to spot.	2019-07-23 06:20:52 +02:00
Ivan Grokhotkov	12b6da0388	tools: {install,export}.{bat,sh} tools	2019-07-01 14:51:44 +02:00