Skip to content
Snippets Groups Projects
Commit 39a5713b authored by Tiago de Freitas Pereira's avatar Tiago de Freitas Pereira
Browse files

Merge branch 'master' into 'bob-extension-config-file'

# Conflicts:
#   bob/bio/base/tools/command_line.py
parents 49a62900 75ebdf5b
No related branches found
No related tags found
1 merge request!119Integrate the new bob.extension loading config mechanism
Pipeline #