Skip to content

introduce dirs.source.sh in tegonal-scripts as well#322

Merged
robstoll merged 1 commit into
mainfrom
improve/dirs.source.sh
Jun 14, 2026
Merged

introduce dirs.source.sh in tegonal-scripts as well#322
robstoll merged 1 commit into
mainfrom
improve/dirs.source.sh

Conversation

@robstoll

Copy link
Copy Markdown
Member

I confirm that I have read the Contributor Agreement v1.1, agree to be bound on them and confirm that my contribution is compliant.

@robstoll robstoll merged commit db71791 into main Jun 14, 2026
2 checks passed
@robstoll robstoll deleted the improve/dirs.source.sh branch June 14, 2026 20:14
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