chiark / gitweb /
_always-disable-valgrind
authorAlessandro Ghedini <ghedo@debian.org>
Tue, 24 Oct 2017 10:05:48 +0000 (11:05 +0100)
committerAlessandro Ghedini <ghedo@debian.org>
Tue, 24 Oct 2017 10:05:48 +0000 (11:05 +0100)
commit9ba63a777f5648d2b3038bff58b548c7c7a6da08
treeadbe869ec307c09ff790068a543e3499618869a3
parent709a559c717461574c09e3764a5e29ce01352bc0
_always-disable-valgrind

Gbp-Pq: Name 06_always-disable-valgrind.patch
tests/Makefile.am