Remove obsolete -fdebugging flag
authorPepe Iborra <mnislaih@gmail.com>
Fri, 7 Sep 2007 13:58:57 +0000 (13:58 +0000)
committerPepe Iborra <mnislaih@gmail.com>
Fri, 7 Sep 2007 13:58:57 +0000 (13:58 +0000)
commitd62101efb9e263173b69fb89c07f03dcf805e81f
treefa44aa375e5cbd63805351a4fcbdb30d0cf21ca0
parent099b26061b3236806a717ba8320de6375a42a82f
Remove obsolete -fdebugging flag

A left over from the 1st GHCi debugger prototype
docs/users_guide/flags.xml