diff options
| author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-06-04 22:36:58 +0200 |
|---|---|---|
| committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-06-04 22:37:42 +0200 |
| commit | df758d75a3dbb57abeb6a38a20200ee2251d8816 (patch) | |
| tree | 6f7e28e1f93b2a409ab5e541d8875632b9e8f064 /.gitmodules | |
| parent | a81c5adcf4426338ff80cfb2f1973f113a17b16d (diff) | |
rollback 85dc5c1 as the information is not quite the same in both structure
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions