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