Skip to content
Snippets Groups Projects

Simplifies the CI of this package by re-using definitions in bob/bob.devtools (bdt)

Merged André Anjos requested to merge update-ci into master
  1. Feb 18, 2019
  2. Feb 15, 2019
Loading