diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 | 
1 files changed, 4 insertions, 0 deletions
| @@ -27,3 +27,7 @@ setup.log  # Local OPAM switch  _opam/ + +# Misc +*~ +nohup.out
\ No newline at end of file | 
|  | index : aeneas | |
| aeneas rust verifier with a hacky Isabelle backend | 
| summaryrefslogtreecommitdiff | 
| -rw-r--r-- | .gitignore | 4 | 
| @@ -27,3 +27,7 @@ setup.log  # Local OPAM switch  _opam/ + +# Misc +*~ +nohup.out
\ No newline at end of file |