From fc29ea10a810035edd34c00a70e9da71cd050f07 Mon Sep 17 00:00:00 2001
From: Salvatore Filippone <salvatore.filippone@uniroma2.it>
Date: Tue, 6 Dec 2022 18:14:35 +0100
Subject: [PATCH] file needed for configure

---
 compile | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 compile

diff --git a/compile b/compile
new file mode 100644
index 00000000..e69de29b