diff options
| author | Peter Dimov <pdimov@gmail.com> | 2019-01-10 19:46:14 +0200 |
|---|---|---|
| committer | Peter Dimov <pdimov@gmail.com> | 2019-01-10 19:46:14 +0200 |
| commit | 6b7ff536724a57119e202155c26b37db81872141 (patch) | |
| tree | 86ac44e45e8bbfe886de8c3fe3f5319293b02d08 | |
| parent | c36c81218944a43c0bf2c7c0a5c9351ffcbb06f3 (diff) | |
| download | boost-feature/add-outcome.tar.gz | |
Add submodule libs/outcomefeature/add-outcome
| -rw-r--r-- | .gitmodules | 5 | ||||
| m--------- | libs/outcome | 0 |
2 files changed, 5 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index d49ca8b165..c1a63e685d 100644 --- a/.gitmodules +++ b/.gitmodules @@ -728,3 +728,8 @@ url = ../boost_install.git fetchRecurseSubmodules = on-demand branch = . +[submodule "outcome"] + path = libs/outcome + url = ../outcome.git + fetchRecurseSubmodules = on-demand + branch = . diff --git a/libs/outcome b/libs/outcome new file mode 160000 +Subproject f3dc9ff9478502d4539ab5bbcc200d6a3283421 |