################################################################################
# Repo

.circleci/
.devcontainer/
.dockerignore
.git/
.github/
.gitignore
**.Dockerfile
**Dockerfile
doc/
