From ed1fef88be682b2556a31a3e59e460bda2bfb21f Mon Sep 17 00:00:00 2001 From: Robin Jones Date: Thu, 17 Aug 2023 21:14:22 +0100 Subject: [PATCH] Fix ignored lib directory (#40) ## Description `miniz` directory was incorrectly named `miniz.c` ## Motivation and Context It was not correctly ignored. ## How Has This Been Tested? ## Screenshots ## Types of changes - [ ] Improvement (non-breaking change that adds a new feature) - [ ] Bug fix (fixes an issue) - [ ] Breaking change (breaking change) - [x] Config and build (change in the configuration and build system, has no impact on code or features) ## Checklist: - [ ] My code follows the code style of this project. - [ ] My change requires a change to the documentation. - [ ] I have updated the documentation accordingly. - [ ] I have added tests to cover my changes. - [ ] All new and existing tests passed. Signed-off-by: GITHUB_USER --- .devcontainer/devcontainer.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index da097326..9c9a1878 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -19,7 +19,7 @@ "src/libs/libspng", "src/libs/mini.c", "src/libs/minimp3", - "src/libs/miniz.c" + "src/libs/miniz" ] } }