From d2c089018da880067bb607752896a48b288c0509 Mon Sep 17 00:00:00 2001 From: Peter Dimov Date: Mon, 15 Oct 2018 00:33:55 +0300 Subject: [PATCH] Add parameter_python --- .gitmodules | 4 ++++ libs/parameter_python | 1 + 2 files changed, 5 insertions(+) create mode 160000 libs/parameter_python diff --git a/.gitmodules b/.gitmodules index 3f2b754488..a5ceb5047e 100644 --- a/.gitmodules +++ b/.gitmodules @@ -566,3 +566,7 @@ path = libs/safe_numerics url = ../safe_numerics.git fetchRecurseSubmodules = on-demand +[submodule "parameter_python"] + path = libs/parameter_python + url = ../parameter_python.git + fetchRecurseSubmodules = on-demand diff --git a/libs/parameter_python b/libs/parameter_python new file mode 160000 index 0000000000..2161ba7c24 --- /dev/null +++ b/libs/parameter_python @@ -0,0 +1 @@ +Subproject commit 2161ba7c24bd224e0886d0bb7424f7f783f7d773