Skip to content

Commit 57a9ccf

Browse files
EmileTrotignonjonludlam
EmileTrotignon
authored and
jonludlam
committed
Add odoc driver output to gitignore
1 parent b527639 commit 57a9ccf

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

‎.gitignore

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,7 @@
1+
# Odoc driver output.
2+
_odoc
3+
_html
4+
15
# Dune output.
26
_build
37
*.install

0 commit comments

Comments
 (0)