]> git.ipfire.org Git - thirdparty/valgrind.git/commit
Change name of H1 history flag from --history-level=partial (which I can
authorJulian Seward <jseward@acm.org>
Sun, 2 Aug 2009 10:16:03 +0000 (10:16 +0000)
committerJulian Seward <jseward@acm.org>
Sun, 2 Aug 2009 10:16:03 +0000 (10:16 +0000)
commitf4c28986767136acae43c5b5f1576b152356426e
tree2f956bb9fe628b2fe4ac0d662b8384e60c5ac076
parent5204eb3398d5f1e04f2df15601895ce271bf12bb
Change name of H1 history flag from --history-level=partial (which I can
never remember) to --history-level=approx.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10688
helgrind/hg_basics.h
helgrind/hg_main.c