Tweak ignored dirs at the root

dra27 · rjbou · commit f3d5cf3e57be · 2023-06-12T13:37:04.000+02:00
diff --git a/.gitignore b/.gitignore
@@ -3,7 +3,7 @@ _obuild/
 _opam/
 _olint/
 .vscode/
-bootstrap/
+/bootstrap*/
 tests/tmp/
 tests/.merlin
 tests/reftests/.merlin
diff --git a/dune b/dune
@@ -1 +1 @@
-(dirs :standard \ bootstrap release)
+(dirs :standard \ bootstrap* release)

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-(dirs :standard \ bootstrap release)`
	`1`	`+(dirs :standard \ bootstrap* release)`