diff --git a/Plateforme_intermediaire b/Plateforme_intermediaire
deleted file mode 100644
index e69de29..0000000
--- a/Plateforme_intermediaire
+++ /dev/null
--
libgit2 0.21.2