diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2022-11-16 22:37:26 +0100 |
---|---|---|
committer | Marc Glisse <marc.glisse@inria.fr> | 2022-11-16 22:49:02 +0100 |
commit | 9b587c38c7760e532227af5f93d4d11fadbbc567 (patch) | |
tree | 2030cb8b81ad662be64827689010b6a3728ff5f4 /.github/CONTRIBUTING.md | |
parent | 7c064bb64135bd94417ec7a52eeb2bee0a115075 (diff) |
More submodule options in the howto
Diffstat (limited to '.github/CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions