summaryrefslogtreecommitdiff
path: root/tests/fstar/.gitignore
blob: 28a11147660f5ab97e43a0e878b3030010ada6e0 (plain)
1
*/obj