diff options
| -rw-r--r-- | tools/valgrind/leak.patch | 0 | ||||
| -rw-r--r-- | tools/valgrind/longlines.patch | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/tools/valgrind/leak.patch b/tools/valgrind/leak.patch deleted file mode 100644 index e69de29..0000000 --- a/tools/valgrind/leak.patch +++ /dev/null diff --git a/tools/valgrind/longlines.patch b/tools/valgrind/longlines.patch deleted file mode 100644 index e69de29..0000000 --- a/tools/valgrind/longlines.patch +++ /dev/null |