git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4417 from steshaw/patch-1
86364faNiklas Larsson
docs/reference/misc.rst+1−1
compare with master
unifiedsplit
@@ -220,7 +220,7 @@ following command::
220 source <(idris --bash-completion-script `which idris`)
220 source <(idris --bash-completion-script `which idris`)
221
221
222
222
223−To enable completion permenatly you must either:
223+To enable completion permanently you must either:
224
224
225* Modify your bash init script with the above command.
225* Modify your bash init script with the above command.
226
226