diff options
author | Vincent Rouvreau <10407034+VincentRouvreau@users.noreply.github.com> | 2020-05-18 08:38:45 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-18 08:38:45 +0200 |
commit | 6b7af922694eebfb0682a40038161bb043aba59d (patch) | |
tree | c6db9824177501ed4203b221cd09aa9fd9a4205e /.gitmodules | |
parent | 8dfc31c57586b07524728c939593f216c5d640f5 (diff) | |
parent | beadbbbefa1f8f30233a534b6c9cdf11ffb65f93 (diff) |
Merge pull request #319 from VincentRouvreau/wasserstein_summary_documentation
When reviewing python gudhi dependencies, I missed this one
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions