commitdfbd38f3f5a4d429b49dda535fc180a07f4b65c8
authorSteven Shaw <steven@steshaw.org>
dateWed 11 Apr 2018, 16:28 (9 years ago)
parente4d006a
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