Remove another instance of the banner from the user guide
authorIan Lynagh <igloo@earth.li>
Sun, 15 Jul 2007 22:14:44 +0000 (22:14 +0000)
committerIan Lynagh <igloo@earth.li>
Sun, 15 Jul 2007 22:14:44 +0000 (22:14 +0000)
commit9fa5ced11b0955f69773b2bd616441c69c7d1068
tree5acaab318384404adc00aecdf35f51ad50048e46
parent26553252c9f26a7778c5854c61a2e23266da4eb2
Remove another instance of the banner from the user guide
docs/users_guide/ghci.xml