aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar Barrucadu <mike@barrucadu.co.uk>2009-05-19 21:45:09 +0100
committerGravatar Barrucadu <mike@barrucadu.co.uk>2009-05-19 21:45:09 +0100
commitdd7f6673eb927ff327fa653608b9c3ff2bb0d16e (patch)
tree1288535e888ce2f726409372dd49ea0d84377a62
parent8ef978b04e57a47ccbd1468a6efa34fdaa8113f7 (diff)
parent870b1fda3c0093fdc9fe3e05c85173992cc7d69c (diff)
Merge branch 'experimental' of git://github.com/Dieterbe/uzbl into experimental
-rw-r--r--docs/CONTRIBUTING3
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/CONTRIBUTING b/docs/CONTRIBUTING
index 9a2ff35..86655dd 100644
--- a/docs/CONTRIBUTING
+++ b/docs/CONTRIBUTING
@@ -34,3 +34,6 @@ So ideally, all contributors develop in their experimental, that gets merged int
$ recompile
$ valgrind --tool=callgrind ./uzbl ....
$ kcachegrind callgrind.out.foo
+
+### MEMORY LEAK CHECKING
+ valgrind --tool=memcheck --leak-check=full ./uzbl