Skip to content

Enables bob auto-completion for bash (closes #63)

André Anjos requested to merge autocomplete into master

That is it.

Merge request reports