diff options
| author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-10-26 10:58:19 +0100 |
|---|---|---|
| committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-10-26 10:58:19 +0100 |
| commit | 699a89819da922222cedcd81b4a1553ee161a633 (patch) | |
| tree | 75d58cf1bdadbd36d34dc9893a8fa0655900031d /.gitmodules | |
| parent | afafd56fdb4a53b66ca3354fc20f787f12340fa4 (diff) | |
code review: bad copy/paste that needs rephrase
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions