commit | 8510d000b884a414dfff9bc608e628de9cadca33 | [log] [tgz] |
---|---|---|
author | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Thu Apr 23 21:28:12 2015 +0000 |
committer | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Thu Apr 23 21:28:12 2015 +0000 |
tree | c87fca5908fd9ce35a0e2b9c0b379f6f4f5ed271 | |
parent | 7d4a28b986eaf98814c530a2074e117145b14d1f [diff] |
Add some internal documentation for 'svn ignore' maintenance; reference it from README_DEVELOPERS_processes git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15139 a5019735-40e9-0310-863c-91ae7b9d1cf9