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

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

6694311
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
before-pr.sh
succeeded Jun 14, 2026 in 20s