From cbb76ad2a849d58d8ed4302a17dabf395bdd8107 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Je=CC=81ro=CC=82me=20Schneider?= Date: Mon, 19 Nov 2012 13:44:23 +0100 Subject: [PATCH] Flake and Formal submodules are removed. --- .gitmodules | 6 ------ Core/Frameworks/Flake | 1 - Core/Frameworks/Formal | 1 - 3 files changed, 8 deletions(-) delete mode 160000 Core/Frameworks/Flake delete mode 160000 Core/Frameworks/Formal diff --git a/.gitmodules b/.gitmodules index 1fb1c44..8b13789 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,7 +1 @@ -[submodule "Core/Frameworks/Formal"] - path = Core/Frameworks/Formal - url = https://jeromeschneider@github.com/jeromeschneider/Formal.git -[submodule "Core/Frameworks/Flake"] - path = Core/Frameworks/Flake - url = https://jeromeschneider@github.com/jeromeschneider/Flake.git diff --git a/Core/Frameworks/Flake b/Core/Frameworks/Flake deleted file mode 160000 index 3679cb4..0000000 --- a/Core/Frameworks/Flake +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 3679cb4a0dbc808f9200f495a2e1f6a3dd0fe4ca diff --git a/Core/Frameworks/Formal b/Core/Frameworks/Formal deleted file mode 160000 index 1663200..0000000 --- a/Core/Frameworks/Formal +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 1663200604730cd7bf27795f3d215b226e050431