summaryrefslogtreecommitdiff
path: root/tests/Makefile.template (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Add makefiles to test the F* filesSon Ho2022-06-201-0/+51