Skip to content
Snippets Groups Projects
Commit e87912d8 authored by pini's avatar pini
Browse files

Merge branch 'pini-dockerignore' into 'dev'

docker: include .gitignore into .dockerignore

See merge request !1421
parents a5b302a4 551f585b
No related branches found
No related tags found
No related merge requests found
Checking pipeline status