diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -32,10 +32,12 @@ _opam/ rust-tests/target/ # Misc +/fstar-tests *~ nohup.out .ocamlformat *# *.lock *.txt -*/.#*
\ No newline at end of file +*/.#* +*.smt2 |