Skip to content

Conversation

kubawerlos
Copy link
Contributor

Currently, these files are in the distro:
image

…hough I believe having this step is unnecessary
@TomasVotruba TomasVotruba merged commit 042c0d3 into TomasVotruba:main May 27, 2025
5 checks passed
@TomasVotruba
Copy link
Owner

Good to go, Thanks 👍

@kubawerlos kubawerlos deleted the add_gitattributes branch May 27, 2025 15:00
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.

2 participants