diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2018-11-19 09:11:18 -0500 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2018-11-22 11:47:36 -0500 |
| commit | 89bf196c88e550fd066d6d44aa05ef88cd53b487 (patch) | |
| tree | b5819d2c3ad2181445854d041d611afe0b135b6a /INSTALL.md | |
| parent | 384967f311b4c6b1d6c797f7821d25feb26bafbf (diff) | |
travis: Run thread sanitizer
Diffstat (limited to 'INSTALL.md')
0 files changed, 0 insertions, 0 deletions