Recipes and Scripts for Bob Maintenance

This package contains (outdated) administrative scripts for the build system. Everything else is now handled by bob/bob.devtools.

In the directory gitlab, you'll find scripts that are used for our continuous integration builds. These correspond to the new generation scripts.