From e00d972a8ad4807580abfd940cc8de16a498aad8 Mon Sep 17 00:00:00 2001
From: domi41 <dominique.merle.41@gmail.com>
Date: Fri, 4 Sep 2020 16:41:50 +0200
Subject: [PATCH] git: ignore the android build/ directory

---
 .gitignore | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 1a277c6..c9a2e96 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,8 +5,8 @@
 .test/
 tests/results/*
 
-# temporarily
-android/
+# Hmmm…
+android/build/
 
 # OS
 .directory