diff options
author | Sebastian Berg <sebastian@sipsolutions.net> | 2020-12-05 12:13:40 -0600 |
---|---|---|
committer | Sebastian Berg <sebastian@sipsolutions.net> | 2020-12-05 14:54:01 -0600 |
commit | bfceca93325ad801a6dcd4b9fdd5432825618a8f (patch) | |
tree | fa70552cb74063ee1e8dba50f0afb99c3fe45b7f /doc/source/dev/development_environment.rst | |
parent | 45840adcf20eabc665d2fc17f28bf93e75bdf20a (diff) | |
download | numpy-bfceca93325ad801a6dcd4b9fdd5432825618a8f.tar.gz |
DOC: Add information about leak checking and valgrind
This is not meant to be a fool-proof guide. It isn't and I
do not want to expect people to use it...
But I realize that I use these things semi-regulary (even if I
never bother to remove all wrinkles) and it is good to have the
information somewhere so that everyone knows where to look.
Diffstat (limited to 'doc/source/dev/development_environment.rst')
-rw-r--r-- | doc/source/dev/development_environment.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/source/dev/development_environment.rst b/doc/source/dev/development_environment.rst index cb027c662..013414568 100644 --- a/doc/source/dev/development_environment.rst +++ b/doc/source/dev/development_environment.rst @@ -207,6 +207,8 @@ repo, use one of:: $ git reset --hard +.. _debugging: + Debugging --------- |