From 01c3c7e039b263f9ac5e0550893fd699c5e59eca Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 17 Feb 2020 18:52:18 +0000
Subject: Remove extraction folder

---
 extraction/driver.mli | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 extraction/driver.mli

diff --git a/extraction/driver.mli b/extraction/driver.mli
deleted file mode 100644
index e69de29..0000000
-- 
cgit