From bfc916472e00e29e1e0c2e87f551dbc306456473 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Je=CC=81ro=CC=82me=20Schneider?= Date: Mon, 20 Aug 2012 23:04:51 +0200 Subject: [PATCH] WIP. Simplifying Core/ structure (no more symlinks) Former-commit-id: cd8ed966c06a6e78d98590267959e8f066b2ac56 --- .gitmodules | 7 +------ Core | 1 - CoreVersions/0.2.1/Frameworks/Flake | 1 - CoreVersions/0.2.1/Frameworks/Formal | 1 - 4 files changed, 1 insertion(+), 9 deletions(-) delete mode 120000 Core delete mode 160000 CoreVersions/0.2.1/Frameworks/Flake delete mode 160000 CoreVersions/0.2.1/Frameworks/Formal diff --git a/.gitmodules b/.gitmodules index e9face3..8b13789 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1 @@ -[submodule "CoreVersions/0.2.1/Frameworks/Flake"] - path = CoreVersions/0.2.1/Frameworks/Flake - url = https://github.com/jeromeschneider/Flake.git -[submodule "CoreVersions/0.2.1/Frameworks/Formal"] - path = CoreVersions/0.2.1/Frameworks/Formal - url = https://github.com/jeromeschneider/Formal.git + diff --git a/Core b/Core deleted file mode 120000 index 12d27b9..0000000 --- a/Core +++ /dev/null @@ -1 +0,0 @@ -CoreVersions/0.2.1 \ No newline at end of file diff --git a/CoreVersions/0.2.1/Frameworks/Flake b/CoreVersions/0.2.1/Frameworks/Flake deleted file mode 160000 index 1de6d8d..0000000 --- a/CoreVersions/0.2.1/Frameworks/Flake +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 1de6d8dc3d6408619cd23dda28ce7d6284ad63e9 diff --git a/CoreVersions/0.2.1/Frameworks/Formal b/CoreVersions/0.2.1/Frameworks/Formal deleted file mode 160000 index d83f38d..0000000 --- a/CoreVersions/0.2.1/Frameworks/Formal +++ /dev/null @@ -1 +0,0 @@ -Subproject commit d83f38d3880a82650ea4f93c815a8211245f58fe