From 15cd26f80023dff61e92574d27e3f0bdea363cc2 Mon Sep 17 00:00:00 2001 From: Eyck Jentzsch Date: Sun, 10 Apr 2022 12:15:40 +0200 Subject: [PATCH] remove CoreDSL ISA repo --- .gitmodules | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 .gitmodules diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index 43cd095..0000000 --- a/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule "gen_input/CoreDSL-Instruction-Set-Description"] - path = gen_input/CoreDSL-Instruction-Set-Description - url = ../CoreDSL-Instruction-Set-Description.git