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

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

diff --git a/.gitignore b/.gitignore
index da62e65e21..79ba66e133 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