Merge pull request #4417 from steshaw/patch-1
Typo
commit86364fa07547e101efbabf82ee2eb3144c60bff8
authorNiklas Larsson <metaniklas@gmail.com>
dateThu 12 Apr 2018, 00:28 (9 years ago)
parente4d006adfbd38f
docs/reference/misc.rst+1−1
@@ -220,7 +220,7 @@ following command::
220220 source <(idris --bash-completion-script `which idris`)
221221
222222
223−To enable completion permenatly you must either:
223+To enable completion permanently you must either:
224224
225225* Modify your bash init script with the above command.
226226