Skip to content

Add a way to retrieve protocol definition files

Yannick DAYERrequested to merge
add-protocols-retriever into master

Removes bob.extension's get_file().

Merge request reports