From d371c464b6ad053339ad6c979277808ac409daaa Mon Sep 17 00:00:00 2001
From: MathisBD <mathis.bouverot@ens.psl.eu>
Date: Mon, 19 Feb 2024 17:42:11 +0100
Subject: [PATCH] removed empty coq file

---
 CaseStudies/Gathering/InR2/Weber/Weber_lemmas.v | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 CaseStudies/Gathering/InR2/Weber/Weber_lemmas.v

diff --git a/CaseStudies/Gathering/InR2/Weber/Weber_lemmas.v b/CaseStudies/Gathering/InR2/Weber/Weber_lemmas.v
deleted file mode 100644
index e69de29b..00000000
-- 
GitLab