ignore generated files for the instrumented runtime
parent
5b8296c933
commit
bfc06f52f8
|
@ -197,8 +197,8 @@
|
|||
|
||||
/stdlib/camlheader
|
||||
/stdlib/target_camlheader
|
||||
/stdlib/camlheaderd
|
||||
/stdlib/target_camlheaderd
|
||||
/stdlib/camlheader[di]
|
||||
/stdlib/target_camlheader[di]
|
||||
/stdlib/camlheader_ur
|
||||
/stdlib/labelled-*
|
||||
/stdlib/caml
|
||||
|
|
Loading…
Reference in New Issue