From 0df01fb50357c32bde5fc79e42cd0ebc23d0017f Mon Sep 17 00:00:00 2001
From: bjorn3 <bjorn3@users.noreply.github.com>
Date: Sat, 4 Aug 2018 17:02:20 +0200
Subject: [PATCH] Remove cranelift dir

---
 cranelift | 1 -
 1 file changed, 1 deletion(-)
 delete mode 160000 cranelift

diff --git a/cranelift b/cranelift
deleted file mode 160000
index 4d50ef87a2f..00000000000
--- a/cranelift
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 4d50ef87a2f8faa4e590423f712d99bef5cb9148