From abacfc93ccd89f6ff3da4ffa4e144f75c3da0285 Mon Sep 17 00:00:00 2001
From: Pierre Kancir <pierre.kancir.emn@gmail.com>
Date: Wed, 23 Sep 2020 15:14:12 +0200
Subject: [PATCH] .gitignore: ignore build.tmp directory on docker

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 6f8198179a..5addb9d081 100644
--- a/.gitignore
+++ b/.gitignore
@@ -131,3 +131,4 @@ segv_*out
 /ArduSub/scripts/
 persistent.dat
 dumpstack_*out
+build.tmp.binaries/