Skip to content

Commit 854ea50

Browse files
authored
Merge pull request #65 from shindere/fix-gitignore
Do not ignore stdcompat__domain.mli.in
2 parents 1b11f18 + 4451051 commit 854ea50

1 file changed

Lines changed: 0 additions & 1 deletion

File tree

.gitignore

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,6 @@ _build/
3030
/stamp-h1
3131
*.so
3232
/stdcompat__stubs.c
33-
/stdcompat__domain.mli.in
3433
/stdcompat_tests
3534
/tools/stdcompatpp.ml
3635
/tools/stdcompatpp

0 commit comments

Comments
 (0)