tools/python is missing from .gitignore#6036

Merged

earlephilhower merged 2 commits intoesp8266:masterfrom

dok-net:gitignore-patch

May 2, 2019

Commits on May 2, 2019

git clean honors .gitignore, leaving the build tools downloaded by tools/get.py in place -
dok-net
committed
Merge branch 'master' into gitignore-patch
earlephilhower
authored