users-guide: Fix :default: placement
authorBen Gamari <ben@smart-cactus.org>
Thu, 23 Nov 2017 18:14:33 +0000 (13:14 -0500)
committerBen Gamari <ben@smart-cactus.org>
Thu, 23 Nov 2017 21:05:39 +0000 (16:05 -0500)
commit99089fc9240c39726d5b2a50942fb693c48c2bcd
tree61aad36dd869c608d5b98ba748f17a1d6c886541
parent599243e73384e1b74a07f175b2d7324778a0f79c
users-guide: Fix :default: placement
docs/users_guide/ghci.rst