summaryrefslogtreecommitdiff
path: root/tools/verification/rv/.gitignore
AgeCommit message (Expand)Author
2024-03-20tools/verification: Use tools/build makefiles on rvDaniel Bristot de Oliveira