Merge branch '6-change-required-after-bob-bio-base-command-line-option-change' into 'master'
Resolve "Change required after bob.bio.base command-line option change" Closes #6 @andre.anjos : Does this look OK to you? See merge request !1
Please register or sign in to comment