Skip to content

rename file while copying#136

Merged
LukasJenicek merged 2 commits intomasterfrom
update_readme
Oct 18, 2024
Merged

rename file while copying#136
LukasJenicek merged 2 commits intomasterfrom
update_readme

Conversation

@LukasJenicek
Copy link
Contributor

No description provided.

@LukasJenicek LukasJenicek force-pushed the update_readme branch 8 times, most recently from 20765b5 to 82d79ed Compare October 18, 2024 08:24
@LukasJenicek LukasJenicek merged commit 68b1dfe into master Oct 18, 2024
@LukasJenicek LukasJenicek deleted the update_readme branch October 18, 2024 08:33
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.

1 participant