diff options
| author | Son Ho | 2022-01-19 11:55:43 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-19 11:55:43 +0100 |
| commit | c3f00f28c18d95b753de0389ad5d007478a93009 (patch) | |
| tree | d8cd61933300a8b81facc23dbabff71cde05f23c /.gitignore | |
| parent | 3831e9176d4f0a3b3af161eca3e5f709ce0dce6d (diff) | |
Update the .gitignore
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -28,6 +28,9 @@ setup.log # Local OPAM switch _opam/ +# Rust working directory +rust-tests/target/ + # Misc *~ nohup.out |