From 89fe6ea5f11e46b8c04a706cce3b8afb7c3a0198 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Wed, 2 Oct 2024 13:05:50 +0200
Subject: [PATCH] cleanup

---
 _opam | 1 -
 1 file changed, 1 deletion(-)
 delete mode 120000 _opam

diff --git a/_opam b/_opam
deleted file mode 120000
index 343b677d2..000000000
--- a/_opam
+++ /dev/null
@@ -1 +0,0 @@
-/home/dfissore/Documents/github/COQ_ELPI_DEV/_opam
\ No newline at end of file