Skip to content

Commit 6b704d0

Browse files
committed
flambda-backend: Remove files that are probably auto-generated
1 parent c8a0fd3 commit 6b704d0

File tree

2 files changed

+0
-360
lines changed

2 files changed

+0
-360
lines changed

otherlibs/dynlink/byte/dynlink.mli

Lines changed: 0 additions & 180 deletions
This file was deleted.

otherlibs/dynlink/native/dynlink.mli

Lines changed: 0 additions & 180 deletions
This file was deleted.

0 commit comments

Comments
 (0)