diff options
author | 2016-10-02 22:31:13 -0700 | |
---|---|---|
committer | 2016-10-02 22:39:28 -0700 | |
commit | f270ba91215c3f14b1f44da0e5db0221226a5715 (patch) | |
tree | 479bc0aa678286a59208e5b71c2c1fea39c88690 /util/.gitignore | |
parent | 651f85e4a2ef100ced3235ab1827c9ec9a509c43 (diff) |
Run tests under valgrind when available.
Fixes #50.
Diffstat (limited to 'util/.gitignore')
0 files changed, 0 insertions, 0 deletions