Closed esc closed 8 years ago
Review by @schlomo and to be done before #38
And don't forget to update the zsh completion
I attached a commit.
fixed the zsh completion too
will merge this.
Review by @schlomo and to be done before #38