diff options
| author | Son Ho | 2022-02-03 23:02:32 +0100 |
|---|---|---|
| committer | Son Ho | 2022-02-03 23:02:32 +0100 |
| commit | 7bf8128095e76aae07f1f008d3ee2a08f96260a9 (patch) | |
| tree | 7d38bc14e8a4fa808aeb4b61caa7a9d4e82a32eb /.gitignore | |
| parent | 88c13a37e0aba4bbd0bfaa7575848340d503cbc2 (diff) | |
Update the .gitignore
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 |