Typo in manual [ci skip]
authorGabor Greif <ggreif@gmail.com>
Tue, 3 Jan 2017 16:45:19 +0000 (17:45 +0100)
committerGabor Greif <ggreif@gmail.com>
Tue, 3 Jan 2017 16:45:42 +0000 (17:45 +0100)
commit6b3c039117d3af575e44e0c4577b94db76eaf560
treef81a7f7ed9d164346cd4291ddbbcadb374c71ac8
parent683ed475964bbd90030deb8f738370ae90b48a22
Typo in manual [ci skip]
docs/users_guide/ghci.rst