diff --git a/correcteur b/correcteur
deleted file mode 100755
index 6845021..0000000
Binary files a/correcteur and /dev/null differ
--
libgit2 0.21.2