diff options
| author | Daniel James <daniel@calamity.org.uk> | 2018-01-13 10:43:25 +0000 |
|---|---|---|
| committer | Daniel James <daniel@calamity.org.uk> | 2018-01-13 10:43:25 +0000 |
| commit | 32cf4e342c434071a6f6b8ea8c5dc8be24bc9c75 (patch) | |
| tree | ec033723d0cc94c4524f76de67832270ed7371bb /.gitmodules | |
| parent | c3746ab905c8a1a9be97c54a99565044c067a732 (diff) | |
| download | boost-32cf4e342c434071a6f6b8ea8c5dc8be24bc9c75.tar.gz | |
Add contract to master
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 01a8c1b141..3a409a09fe 100644 --- a/.gitmodules +++ b/.gitmodules @@ -546,6 +546,10 @@ path = libs/callable_traits url = ../callable_traits.git fetchRecurseSubmodules = on-demand +[submodule "contract"] + path = libs/contract + url = ../contract.git + fetchRecurseSubmodules = on-demand [submodule "check_build"] path = tools/check_build url = ../check_build.git |