Commit e2ee47e0 authored by André Anjos's avatar André Anjos 💬

Merge branch 'docedit' into 'master'

[docs] removing the Local package development for bob and replacing it with a link to bobdevtools

See merge request !36
parents db94bbb1 97040f66
Pipeline #36397 passed with stages
in 3 minutes and 15 seconds