New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Ignore not required files in docker build #2211

Merged

TomasVotruba merged 1 commit into master from docker-ignore-more-files

Oct 28, 2019

Contributor

JanMikes commented Oct 28, 2019

Fixes #2185


          Ignore not required files in docker build

b028826

Fixes #2185

TomasVotruba merged commit ebabd78 into master

JanMikes deleted the docker-ignore-more-files branch

October 28, 2019 15:46

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet