Skip to content

Fix GitHub #313#395

Merged
dmatej merged 1 commit intomojohaus:masterfrom
in-fke:issue-313-platformSpecificPath
Mar 17, 2026
Merged

Fix GitHub #313#395
dmatej merged 1 commit intomojohaus:masterfrom
in-fke:issue-313-platformSpecificPath

Conversation

@in-fke
Copy link

@in-fke in-fke commented Mar 17, 2026

  • Fixes error: no source files #313
  • Only strip the leading file separator when the path was actually relativized.
  • When the path is not under parentDir the result stays absolute and the separator must be kept.

- Only strip the leading file separator when the path was actually relativized.
- When the path is not under parentDir the result stays absolute and the separator must be kept.
@dmatej dmatej merged commit 6e5653a into mojohaus:master Mar 17, 2026
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

error: no source files

2 participants