index
:
zsh.git
master
Unnamed repository; edit this file 'description' to name the repository.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
correction.zsh
blob: 176ec16d510ebe7da2fa077f144b434e3a42e2cf (
plain
)
1
2
# correct commands, but not any arguments (correct_all would do that) setopt correct