Skip to content
GitLab
Explore
Sign in
Rename `bob-tools` to avoid confusion with repository name; [This](
https://github.com/qoollo/bob/tree/master/bob-tools
) should be renamed. Possible names: `bob-apps`
bob-bins