From f33db38370d6f9c54475cc645b78d955b20bc60d Mon Sep 17 00:00:00 2001
From: =?utf8?q?Luk=C3=A1=C5=A1=20Ji=C5=99i=C5=A1t=C4=9B?=
 <jiriste@icpf.cas.cz>
Date: Tue, 19 Nov 2024 15:30:33 +0100
Subject: [PATCH] Add .DEFAULT to gitignore

I am not entirely sure, what .DEFAULT is. I think it is used by
arduino-cli for some bookkeeping?
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index a3fcfb0..08abd41 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 .compile
+.DEFAULT
-- 
2.30.2