Skip to content

Commit

Permalink
Tweak ignored dirs at the root
Browse files Browse the repository at this point in the history
  • Loading branch information
dra27 authored and rjbou committed Jun 12, 2023
1 parent 78c656f commit f3d5cf3
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ _obuild/
_opam/
_olint/
.vscode/
bootstrap/
/bootstrap*/
tests/tmp/
tests/.merlin
tests/reftests/.merlin
Expand Down
2 changes: 1 addition & 1 deletion dune
Original file line number Diff line number Diff line change
@@ -1 +1 @@
(dirs :standard \ bootstrap release)
(dirs :standard \ bootstrap* release)

0 comments on commit f3d5cf3

Please sign in to comment.