Skip to content

Commit 518bb44

Browse files
committed
stale: remove old, unused .mli files
1 parent 6dd14e0 commit 518bb44

File tree

2 files changed

+0
-8
lines changed

2 files changed

+0
-8
lines changed

lib/HighLevelSwitch0x01.mli

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

lib/HighLevelSwitch0x04.mli

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

0 commit comments

Comments
 (0)