Tiny tweak to .gitignore (MPR#7509)

master
David Allsopp 2017-10-12 11:44:49 +01:00
parent 9009b4a211
commit 41510b0202
1 changed files with 2 additions and 1 deletions

3
.gitignore vendored
View File

@ -278,7 +278,8 @@ _ocamltest
/testsuite/tests/lib-unix/win-stat/*-file
/testsuite/tests/opaque/*/*.mli
/testsuite/tests/opaque/fst/*.mli
/testsuite/tests/opaque/snd/*.mli
/testsuite/tests/output_obj/*.bc.c
/testsuite/tests/output_obj/*_stub