Fix case-insensitivity of `docker` dir - Githubissues

EnAccess / micropowermanager

Open Source Management Tool for Decentralized Utilities.

https://micropowermanager.io/

MIT License

2 stars 4 forks source link

Fix case-insensitivity of `docker` dir #296

Closed dmohns closed 1 month ago

dmohns commented 1 month ago

Brief summary of the change made

Fixing Docker should be docker directory. Because previous PR was created on a case-insensitive OS it slipped through.

Are there any other side effects of this change that we should be aware of?

Describe how you tested your changes?

Pull Request checklist

Please confirm you have completed any of the necessary steps below.

[x] Meaningful Pull Request title and description
[ ] Changes tested as described above
[ ] Added appropriate documentation for the change.
[ ] Created GitHub issues for any relevant followup/future enhancements if appropriate.