[project @ 2001-03-13 15:44:58 by simonpj]
authorsimonpj <unknown>
Tue, 13 Mar 2001 15:44:58 +0000 (15:44 +0000)
committersimonpj <unknown>
Tue, 13 Mar 2001 15:44:58 +0000 (15:44 +0000)
commitecaf93533a3d2d82b2665ed776a387334804ecdd
tree3c8b7f53a2c527a3268055b18090918e7df25aba
parent9a5fe80720a8f3631b6732bd31e6e57212a38f06
[project @ 2001-03-13 15:44:58 by simonpj]
Remove docs for -funfolding-interface-threshold
ghc/docs/users_guide/flags.sgml
ghc/docs/users_guide/using.sgml