From 743299fcdb40f1dd419b26515cc032192df8b1ea Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Autin?=
 <francois.autin@etudiant.univ-rennes1.fr>
Date: Wed, 5 Apr 2023 13:02:29 +0200
Subject: [PATCH] repo clean-up

---
 Makefile.userlib | 0
 build.rs         | 2 --
 2 files changed, 2 deletions(-)
 delete mode 100644 Makefile.userlib
 delete mode 100644 build.rs

diff --git a/Makefile.userlib b/Makefile.userlib
deleted file mode 100644
index e69de29..0000000
diff --git a/build.rs b/build.rs
deleted file mode 100644
index ea3850b..0000000
--- a/build.rs
+++ /dev/null
@@ -1,2 +0,0 @@
-fn main() {
-}
\ No newline at end of file