diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-02-17 18:52:18 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-02-17 18:52:18 +0000 |
| commit | 01c3c7e039b263f9ac5e0550893fd699c5e59eca (patch) | |
| tree | 52b4bd8a57532be5e2451867e1948440a4ed9517 | |
| parent | 75af84521208aac70375d7df45105256475d75b6 (diff) | |
| download | vericert-kvx-01c3c7e039b263f9ac5e0550893fd699c5e59eca.tar.gz vericert-kvx-01c3c7e039b263f9ac5e0550893fd699c5e59eca.zip | |
Remove extraction folder
| -rw-r--r-- | extraction/driver.mli | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/extraction/driver.mli b/extraction/driver.mli deleted file mode 100644 index e69de29..0000000 --- a/extraction/driver.mli +++ /dev/null |