diff options
| author | Peter Dimov <pdimov@gmail.com> | 2022-09-09 21:38:50 +0300 |
|---|---|---|
| committer | Peter Dimov <pdimov@gmail.com> | 2022-09-17 03:10:56 +0300 |
| commit | 27679b3bda28df4e6c57bec3e50c250f3860e087 (patch) | |
| tree | b3767e477a00b7605465301e301505376bce11c5 /.gitmodules | |
| parent | f5e070facc912678f31c568dd0d305417c31974a (diff) | |
| download | boost-27679b3bda28df4e6c57bec3e50c250f3860e087.tar.gz | |
Add submodule url
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 2e2b6c35c1..46977dba42 100644 --- a/.gitmodules +++ b/.gitmodules @@ -793,3 +793,8 @@ url = ../property_map_parallel.git fetchRecurseSubmodules = on-demand branch = . +[submodule "url"] + path = libs/url + url = ../url.git + fetchRecurseSubmodules = on-demand + branch = . |