From 1058c85ee8f880ea9e71a7dfe5b0291c0a865d04 Mon Sep 17 00:00:00 2001 From: Philipp Schulz Date: Fri, 7 Aug 2020 18:28:50 +0200 Subject: [PATCH] Removed submodule --- .gitmodules | 3 --- third_party/mruby | 1 - 2 files changed, 4 deletions(-) delete mode 160000 third_party/mruby diff --git a/.gitmodules b/.gitmodules index 44a243d..e69de29 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +0,0 @@ -[submodule "third_party/mruby"] - path = third_party/mruby - url = https://github.com/mruby/mruby diff --git a/third_party/mruby b/third_party/mruby deleted file mode 160000 index 11cc7be..0000000 --- a/third_party/mruby +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 11cc7bed96551fcceca5cabc1527fd944835a1a0