Skip to content

Add a way to retrieve protocol definition files

Yannick DAYER requested to merge add-protocols-retriever into master

Removes bob.extension's get_file().

Merge request reports