From a3c556e490f6ee1b26230d3c2c62a7eed28c41f6 Mon Sep 17 00:00:00 2001
From: "Dirk O. Kaar" <dok@dok-net.net>
Date: Thu, 2 May 2019 20:13:57 +0200
Subject: [PATCH] git clean honors .gitignore, leaving the build tools
 downloaded by tools/get.py in place - (#6036)

tools/python is missing from .gitignore.
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index da62e65e2..79ba66e13 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,6 +2,7 @@
 tools/dist/
 tools/xtensa-lx106-elf/
 tools/mkspiffs/
+tools/python/
 package/versions/
 exclude.txt
 tools/sdk/lib/liblwip_src.a