diff options
author | Henning Baldersheim <[email protected]> | 2019-04-11 13:28:36 +0200 |
---|---|---|
committer | Henning Baldersheim <[email protected]> | 2019-04-11 13:28:36 +0200 |
commit | 86d54f86a4560d6e643ece1330a37b434091ea6f (patch) | |
tree | 386b33a5e1b7538b820e58269a930f16534d88e4 /valgrind-suppressions.txt | |
parent | 94e93b7328f2436965db052639cea7e6d38e54ad (diff) |
Let default be 4 for command line invocation.
Diffstat (limited to 'valgrind-suppressions.txt')
0 files changed, 0 insertions, 0 deletions