Skip to content

Commit 4546d1b

Browse files
committed
Merge pull request #159 from frenetic-lang/stale
stale: remove old, unused .mli files
2 parents a49d62c + 518bb44 commit 4546d1b

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)