From f2ce66ace9471d6daeee1e2579a06761d64ff85d Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Fri, 18 Jun 2021 09:34:18 +1000 Subject: [PATCH] Replace git submodules by subtrees --- .gitmodules | 8 -------- software/chuffed | 1 - software/minizinc | 1 - 3 files changed, 10 deletions(-) delete mode 100644 .gitmodules delete mode 160000 software/chuffed delete mode 160000 software/minizinc diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index 7b6429b..0000000 --- a/.gitmodules +++ /dev/null @@ -1,8 +0,0 @@ -[submodule "software/chuffed"] - path = software/chuffed - url = git@github.com:Dekker1/chuffed.git - branch = feature/imp_globals -[submodule "software/minizinc"] - path = software/minizinc - url = git@github.com:MiniZinc/libminizinc.git - branch = develop diff --git a/software/chuffed b/software/chuffed deleted file mode 160000 index 2ed0c01..0000000 --- a/software/chuffed +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 2ed0c01558d2a5c49c1ce57e048d32c17adf92d3 diff --git a/software/minizinc b/software/minizinc deleted file mode 160000 index 5a57782..0000000 --- a/software/minizinc +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 5a577826da4d7cf6195f28b5604d8d20a01fbc6e