diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-09-14 17:42:16 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-09-14 17:42:16 +0200 |
| commit | 4cc86b52d215b1d56368403ab0faccd92f701336 (patch) | |
| tree | afcf29a91dbf50411cf9d4baf21611bb8bd0e180 /.gitmodules | |
| parent | 9a8ad855a1b7876f3e165c4caf7733e41762f3b2 (diff) | |
add --enable-sanitizer
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions