Skip to content

Commit 2133229

Browse files
committed
chore: remove Pervasives_mini.res
1 parent f5943de commit 2133229

File tree

1 file changed

+0
-96
lines changed

1 file changed

+0
-96
lines changed

runtime/Pervasives_mini.res

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

0 commit comments

Comments
 (0)