diff --git a/valgrind.yaml b/valgrind.yaml new file mode 100644 index 0000000000000000000000000000000000000000..37e54de6bea9310c255ab00df8290751491ffc02 --- /dev/null +++ b/valgrind.yaml @@ -0,0 +1,4 @@ +version_control: git +src_repo: https://sourceware.org/git/?p=valgrind.git +tag_prefix: ^VALGRIND_ +seperator: _