This is an archived project. Repository and other project resources are read-only.

Commit 0c111108 authored 6 years ago by André Anjos

[ci] Update gitlab-ci file (depend on bob/bob.devtools) [ci skip]

parent 1503bf8e

Branches