diff options
author | Dario Lombardo <lomato@gmail.com> | 2017-01-20 23:27:17 +0100 |
---|---|---|
committer | Dario Lombardo <lomato@gmail.com> | 2017-01-23 12:27:51 +0000 |
commit | 6eca591de622092c428b27ccd248548097d73d6a (patch) | |
tree | ccef293e2a13fa8679a0ca9cfc2a40faefb94322 /ui | |
parent | 110ffacdb34e895d92764428519baf385695142f (diff) |
tools: allow multiple suppression file for valgrind.
Change-Id: I7074705230deb3d24df8f2ea694a3a485c848efd
Reviewed-on: https://code.wireshark.org/review/19711
Reviewed-by: Dario Lombardo <lomato@gmail.com>
Diffstat (limited to 'ui')
0 files changed, 0 insertions, 0 deletions