Merge pull request #3962 from rust-lang/ignore-nova

infra: ignore Nova configuration directory
rust-lang · Jun 20, 2024 · a99d21f · a99d21f
2 parents 45c1a6d + 1e41a9a
commit a99d21f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -5,3 +5,4 @@ book/
 target
 tmp
 
+.nova