From dfbd38f3f5a4d429b49dda535fc180a07f4b65c8 Mon Sep 17 00:00:00 2001 From: Steven Shaw Date: Wed, 11 Apr 2018 16:28:59 +1000 Subject: [PATCH] Typo Fixed "permanently" --- docs/reference/misc.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/reference/misc.rst b/docs/reference/misc.rst index 71ef9e314..b83b48b0a 100644 --- a/docs/reference/misc.rst +++ b/docs/reference/misc.rst @@ -220,7 +220,7 @@ following command:: source <(idris --bash-completion-script `which idris`) -To enable completion permenatly you must either: +To enable completion permanently you must either: * Modify your bash init script with the above command.