Merge pull request #9726 from DavHau/gitignore

gitignore: add result-*
This commit is contained in:
Eelco Dolstra 2024-01-09 16:55:14 +01:00 committed by GitHub
commit 47633ceec3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

1
.gitignore vendored
View file

@ -141,6 +141,7 @@ compile_commands.json
nix-rust/target
result
result-*
# IDE
.vscode/