Commit a19a5822 authored by Flavio TARSETTI's avatar Flavio TARSETTI

Merge branch '201-update-build-docs' into 'master'

Update development docs for bob.devtools

Closes #201

See merge request !58
parents 282a24eb 94bf97db
Pipeline #28625 passed with stages
in 28 minutes and 38 seconds