# docker tools

The provided Dockerfile allows one to create a docker container taht builds the diploma thesis.