From 0b31cb91681856e1cb826322b1ef3e051d2eb891 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 21 Mar 2013 00:17:17 -0400 Subject: [PATCH] Minor typo, reported by Dorai. --- collects/xrepl/xrepl.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/xrepl/xrepl.scrbl b/collects/xrepl/xrepl.scrbl index 1abed01e1c..8ca05c2ce9 100644 --- a/collects/xrepl/xrepl.scrbl +++ b/collects/xrepl/xrepl.scrbl @@ -479,7 +479,7 @@ a different instantiation of a module. @section{Hacking XREPL} XREPL is mainly a convenience tool, and as such you might want to hack -it to better suite your needs. Currently, there is no convenient way to +it to better suit your needs. Currently, there is no convenient way to customize and extend it, but this will be added in the future. Meanwhile, if you're interested in tweaking XREPL, the @cmd[enter]