diff options
| author | Paul Fultz II <pfultz2@yahoo.com> | 2018-02-26 07:31:45 -0600 |
|---|---|---|
| committer | Daniel James <daniel@calamity.org.uk> | 2018-02-26 13:31:45 +0000 |
| commit | c1ba1404ccb058a51e4ab6ac7c761fc3f132ce55 (patch) | |
| tree | 7f33156f145ec1fdc1423395b413aa7567258a82 /.gitmodules | |
| parent | d9d0770df317ebe59ac1b73b8dcbf82c337934c0 (diff) | |
| download | boost-c1ba1404ccb058a51e4ab6ac7c761fc3f132ce55.tar.gz | |
Add hof submodule to master (#180)
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 3a409a09fe..fef38c3127 100644 --- a/.gitmodules +++ b/.gitmodules @@ -558,3 +558,7 @@ path = libs/container_hash url = ../container_hash.git fetchRecurseSubmodules = on-demand +[submodule "hof"] + path = libs/hof + url = ../hof.git + fetchRecurseSubmodules = on-demand |