diff options
| author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-11-10 15:48:33 +0100 |
|---|---|---|
| committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-11-10 15:48:33 +0100 |
| commit | 1d7c18e91a73a539e807d323a47d32bbba18dac7 (patch) | |
| tree | 5455a6f508a2823a9c5b2be4e815aacdbc9a6a62 /.gitmodules | |
| parent | b118b86b7f2e7ae9ee7f080ec89d956b161aedfd (diff) | |
Add this check in debug mode
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions