Skip to content

Commit f11ff7f

Browse files
delete useless option
1 parent ab6d143 commit f11ff7f

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

test/passing/tests/effects.ml.opts

Lines changed: 0 additions & 1 deletion
This file was deleted.

0 commit comments

Comments
 (0)