Skip to content

Allow relative paths for custom file - #198

Merged
StephenNneji merged 4 commits into
RascalSoftware:mainfrom
StephenNneji:pathlib
Feb 16, 2026
Merged

Allow relative paths for custom file#198
StephenNneji merged 4 commits into
RascalSoftware:mainfrom
StephenNneji:pathlib

Conversation

@StephenNneji

@StephenNnejiStephenNneji commented Feb 11, 2026

Copy link
Copy Markdown
Contributor

Allow relative paths

Ensure function names are saved when they are different from file name

@StephenNneji
StephenNneji marked this pull request as ready for review February 12, 2026 12:55
@StephenNnejiStephenNneji changed the title Allow relative paths for custom fileAllow relative paths for custom file and bump version to dev12Feb 12, 2026

@DrPaulSharpDrPaulSharp left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

All looks good

@StephenNnejiStephenNneji changed the title Allow relative paths for custom file and bump version to dev12Allow relative paths for custom fileFeb 16, 2026
@StephenNneji
StephenNneji merged commit a599d44 into RascalSoftware:mainFeb 16, 2026
9 checks passed
@StephenNneji
StephenNneji deleted the pathlib branch April 2, 2026 09:25
Sign up for freeto 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.

2 participants

@StephenNneji@DrPaulSharp