fix typo in ghci.xml
authorBertram Felgenhauer <int-e@gmx.de>
Sun, 12 Aug 2007 13:22:01 +0000 (13:22 +0000)
committerBertram Felgenhauer <int-e@gmx.de>
Sun, 12 Aug 2007 13:22:01 +0000 (13:22 +0000)
commite6b66d7de77488cbd1852a86cfe135a07e80616f
treea3dccac32b26723e98030c769079536f7ca334d5
parent56ae7a3bf62087037d1d6d1149451124813fa227
fix typo in ghci.xml
docs/users_guide/ghci.xml