Skip to content
GitLab
Explore
Sign in
Register
Alex D
GHC
Repository
ghc
docs
users_guide
debugging.xml
Find file
Blame
History
Permalink
Put the default value for -dppr-user-length in the manual
· 1c9f77c4
Simon Peyton Jones
authored
Apr 22, 2007
MERGE TO STABLE Incidentally, this flag should probably be renamed -dppr-user-depth
1c9f77c4