diff options
| author | Peter Dimov <pdimov@pdimov.com> | 2018-10-15 00:33:55 +0300 |
|---|---|---|
| committer | Peter Dimov <pdimov@gmail.com> | 2018-10-25 19:22:03 +0300 |
| commit | d2c089018da880067bb607752896a48b288c0509 (patch) | |
| tree | 6ff16dcde85e6e92e5e1f705c9e76c2cecfb69c3 /.gitmodules | |
| parent | 3bed7f0c2cbf2fd774d7cfcd48eb760831492541 (diff) | |
| download | boost-d2c089018da880067bb607752896a48b288c0509.tar.gz | |
Add parameter_python
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 4 |
1 files changed, 4 insertions, 0 deletions
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 |