Skip to content
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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix: Docker #135

Merged
merged 3 commits into from
Feb 29, 2020
Merged

Fix: Docker #135

merged 3 commits into from
Feb 29, 2020

Conversation

localheinz
Copy link
Contributor

@localheinz localheinz commented Feb 29, 2020 •
edited

This PR

  • renames the directory docker to .docker
  • flattens the directory structure
  • fixes a typo

Follows #131.

馃う鈥嶁檪

@localheinz localheinz added the bug label Feb 29, 2020
@localheinz localheinz self-assigned this Feb 29, 2020
@localheinz localheinz changed the title Fix: Rename directory Fix: Docker Feb 29, 2020
@localheinz localheinz merged commit c804947 into Jan0707:master Feb 29, 2020
@localheinz localheinz deleted the fix/docker branch February 29, 2020 08:58
@violinist-bot violinist-bot mentioned this pull request Jun 29, 2020
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@localheinz localheinz

Labels
bug
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@localheinz