Commit c42bae68 authored by André Anjos's avatar André Anjos

Merge branch 'autocomplete' into 'master'

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

Closes #63

See merge request !92
parents d60ee79d 5e786690
Pipeline #24285 passed with stages
in 5 minutes and 35 seconds