We don't have -fdebugging anymore, and fine tuning is not really necessary now
authorPepe Iborra <mnislaih@gmail.com>
Thu, 26 Apr 2007 10:18:53 +0000 (10:18 +0000)
committerPepe Iborra <mnislaih@gmail.com>
Thu, 26 Apr 2007 10:18:53 +0000 (10:18 +0000)
commitb2bb677672adb478425787563a9f344b70987105
treef59616f101b841ac04ecd12c0e0fbf7c31e5602b
parent45b04f650e6985c524301112a8381a1aff808fc6
We don't have -fdebugging anymore, and fine tuning is not really necessary now
docs/users_guide/ghci.xml