Skip to content

GitLab

Merged
Created by Eevans@eevansOwner

Build improvements

Relocates the Docker-ized development environment to docker/, and implements a Makefile target for formatters/linters.