Robert O'Callahan 8b75c06141 Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.		2025-07-22 10:38:38 +00:00
..
design.v
exec.ys
frontend.py
run-test.sh