dh-manual.xml: Remove duplicate dh-manual.options id.
[valgrind.git] / perf / many-loss-records.vgperf
blob39d5a398d361a34849f2e7d51df4e9a13ae80ab0
1 prog: many-loss-records
2 vgopts: --memcheck:leak-check=yes --memcheck:leak-resolution=high