From 25ff7cabda251e04e91ecdba08d9632dd99c82fb Mon Sep 17 00:00:00 2001 From: Jo Liss Date: Fri, 21 May 2021 00:02:41 +0000 Subject: [PATCH] Explain that `` is `\` by default --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 7fb47ef..2009c83 100644 --- a/README.md +++ b/README.md @@ -48,7 +48,7 @@ how to use it, read this blog article by Edwin Brady on [Interactive Idris editi ## Interactive Editing Commands [Idris2][] mode for vim offers interactive editing capabilities, the following -commands are supported. +commands are supported. Note that `` is `\` by default. `r` reload file