diff options
author | Vincent Rouvreau <10407034+VincentRouvreau@users.noreply.github.com> | 2020-07-01 22:51:48 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-01 22:51:48 -0700 |
commit | f39473b7c1de0fe42b3f4ebf5cb37bca0a84a247 (patch) | |
tree | 218e72f4279edb39317fc9358305d0a9010e26c4 /.gitmodules | |
parent | 54309849264b5f5ab61e11031044d135c0bb9aa5 (diff) |
doc typo
Co-authored-by: Marc Glisse <marc.glisse@inria.fr>
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions