diff options
| author | dec05eba <dec05eba@protonmail.com> | 2020-07-04 20:07:20 +0200 |
|---|---|---|
| committer | dec05eba <dec05eba@protonmail.com> | 2020-07-06 07:39:58 +0200 |
| commit | 444b5725b125e5154a571a1542cbb5a7ca58e29b (patch) | |
| tree | 235669d9a7eac7da9055f5121efc7ac3abdb2dd2 /.gitmodules | |
| parent | 804a30bffb5b66b3ee58c30fe5641d27b083b6fb (diff) | |
Fix sanitizers (and tests) by allowing to specify which sanitizer to use. Its not possible to use all of them at the same time
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions