diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2020-05-06 16:12:33 -0400 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@protonmail.com> | 2020-05-14 17:39:00 +0200 |
| commit | 7d87ba0e022796b42d6c17b59bb735c94dd6e045 (patch) | |
| tree | ed77a17f2e70ce1f20555bf43cbc5c1050aa8b1e /build-aux | |
| parent | 5747c4ca1bf8eafd52bfa82db3e3887dc133cb24 (diff) | |
travis: Remove valgrind
Github-Pull: #18899
Rebased-From: fa082d0a57afedca9122fac4aecd6a3070f06b04
Tree-SHA512: 29b26d3e2cf76fa9762035c2b1444323460c5a6a8d742addd2ec143f2b028d40d5d7992623a41718e550d287f82d4c4781aa82b4cb41504e66567afad7b9215f
Diffstat (limited to 'build-aux')
0 files changed, 0 insertions, 0 deletions