aanper dde56a7b97 add gdb to docker image vor 5 Jahren
..
Dockerfile dde56a7b97 add gdb to docker image vor 5 Jahren
entrypoint.sh a008c38078 Add GitHub Actions CI rules (#70) vor 5 Jahren
syntax_check.sh 7570ac08a9 Fix codestyle check pipeline (#178) vor 5 Jahren