Brian Cunnie 690e0ad618 New Release Documentation: no more manual Docker images ...

The Docker images are now created automatically with our pipeline.
That's right: with 80 hours of work we saved 30 seconds of work! We are
nothing if not efficient.

2021-11-27 15:53:44 -08:00

..

DEVELOPER.md

New Release Documentation: no more manual Docker images

2021-11-27 15:53:44 -08:00

wildcard.md

Wildcard instructions: formatting, typos

2021-02-08 09:10:58 -08:00