From 5c5f896ec771837ef2100ecfa2b8981304fdd1c1 Mon Sep 17 00:00:00 2001 From: Lee Azzarello Date: Fri, 18 May 2018 12:02:26 -0700 Subject: [PATCH] added legacy k framework --- .gitmodules | 6 +++--- k-legacy | 1 + 2 files changed, 4 insertions(+), 3 deletions(-) create mode 160000 k-legacy diff --git a/.gitmodules b/.gitmodules index 9d08895..1276044 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ -[submodule "k"] - path = k - url = https://github.com/kframework/k.git +[submodule "k-legacy"] + path = k-legacy + url = https://github.com/kframework/k-legacy.git diff --git a/k-legacy b/k-legacy new file mode 160000 index 0000000..2d59fc2 --- /dev/null +++ b/k-legacy @@ -0,0 +1 @@ +Subproject commit 2d59fc26254be505fc6fd010b6812eec10bb727a