Skip to content
Snippets Groups Projects
Commit 5d6a84c0 authored by Henrik tom Wörden's avatar Henrik tom Wörden
Browse files

FIX: add ini for docker

parent 79f18160
Branches
Tags
No related merge requests found
Pipeline #59644 failed
Stage: info
Stage: setup
Stage: style
Stage: code-analysis
Stage: test
This commit is part of merge request !9. Comments created here will be created in the context of that merge request.
Show whitespace changes
Inline Side-by-side
Showing
with 36 additions and 0 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment