diff options
author | Erich Eckner <git@eckner.net> | 2018-01-08 22:08:43 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-01-08 22:08:57 +0100 |
commit | c90f8821a7a72b49d616dad6391535968ad5d713 (patch) | |
tree | 7dc95249d1daf7dd0f78f5b943eae9f72d1e76aa /core | |
parent | 909cad4976a01b652317ba9123a4f9833fc20840 (diff) | |
download | packages-c90f8821a7a72b49d616dad6391535968ad5d713.tar.xz |
extra/valgrind: disable check()
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions