From a0eaafdb98561f894dfdbe37e9061319ce2b4a3d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Pitois?= <francois.pitois@univ-lyon1.fr>
Date: Thu, 9 Feb 2023 17:35:29 +0000
Subject: [PATCH] Empty directory for building targets

---
 build/.gitkeep | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 build/.gitkeep

diff --git a/build/.gitkeep b/build/.gitkeep
new file mode 100644
index 0000000..e69de29
-- 
GitLab