Skip to content

Added Path.rename#379

Merged
Anton-4 merged 1 commit into
mainfrom
path-rename
Jun 28, 2025
Merged

Added Path.rename#379
Anton-4 merged 1 commit into
mainfrom
path-rename

Conversation

@Anton-4

@Anton-4 Anton-4 commented Jun 28, 2025

Copy link
Copy Markdown
Collaborator

Closes #376

@Anton-4 Anton-4 merged commit dcc7070 into main Jun 28, 2025
10 checks passed
@Anton-4 Anton-4 deleted the path-rename branch June 28, 2025 17:22
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.

Add Path.rename and File.rename

1 participant