[PR #251] [MERGED] remove file with \ on the name as windows does not support it #479

Closed
opened 2025-12-30 01:24:51 +01:00 by adam · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/apple/pkl/pull/251
Author: @stackoverflow
Created: 2/26/2024
Status: Merged
Merged: 2/26/2024
Merged by: @stackoverflow

Base: mainHead: remove-bad-file-name


📝 Commits (1)

  • deb1471 remove file with \ on the name as windows does not support it

📊 Changes

4 files changed (+0 additions, -18 deletions)

View changed files

pkl-core/src/test/files/LanguageSnippetTests/input-helper/globtest/\moduleC.pkl (+0 -0)
📝 pkl-core/src/test/files/LanguageSnippetTests/input/basic/importGlob.pkl (+0 -4)
📝 pkl-core/src/test/files/LanguageSnippetTests/output/basic/importGlob.pcf (+0 -9)
📝 pkl-core/src/test/files/LanguageSnippetTests/output/basic/readGlob.pcf (+0 -5)

📄 Description

No description provided


🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/apple/pkl/pull/251 **Author:** [@stackoverflow](https://github.com/stackoverflow) **Created:** 2/26/2024 **Status:** ✅ Merged **Merged:** 2/26/2024 **Merged by:** [@stackoverflow](https://github.com/stackoverflow) **Base:** `main` ← **Head:** `remove-bad-file-name` --- ### 📝 Commits (1) - [`deb1471`](https://github.com/apple/pkl/commit/deb1471683927b32f82175e6462a1d08c29d546b) remove file with `\` on the name as windows does not support it ### 📊 Changes **4 files changed** (+0 additions, -18 deletions) <details> <summary>View changed files</summary> ➖ `pkl-core/src/test/files/LanguageSnippetTests/input-helper/globtest/\moduleC.pkl` (+0 -0) 📝 `pkl-core/src/test/files/LanguageSnippetTests/input/basic/importGlob.pkl` (+0 -4) 📝 `pkl-core/src/test/files/LanguageSnippetTests/output/basic/importGlob.pcf` (+0 -9) 📝 `pkl-core/src/test/files/LanguageSnippetTests/output/basic/readGlob.pcf` (+0 -5) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
adam added the pull-request label 2025-12-30 01:24:51 +01:00
adam closed this issue 2025-12-30 01:24:51 +01:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/pkl#479