Put the default value for -dppr-user-length in the manual
authorsimonpj@microsoft.com <unknown>
Sun, 22 Apr 2007 21:14:42 +0000 (21:14 +0000)
committersimonpj@microsoft.com <unknown>
Sun, 22 Apr 2007 21:14:42 +0000 (21:14 +0000)
commit1c9f77c48fa0cb4f72e71634653b6325c33547c0
tree38ca39be95f5a097f4b0234729e30cbfae29b39b
parentd38a30cb5e7a946f7a5e02fb6e601d2d37ea4374
Put the default value for -dppr-user-length in the manual

MERGE TO STABLE

Incidentally, this flag should probably be renamed -dppr-user-depth
docs/users_guide/debugging.xml