Skip to content

Remove egrep usage from scripts#1767

Merged
bbezak merged 1 commit intostackhpc/2025.1from
remove-egrep
Jul 16, 2025
Merged

Remove egrep usage from scripts#1767
bbezak merged 1 commit intostackhpc/2025.1from
remove-egrep

Commits

Commits on Jul 16, 2025