Skip to content

Commit b097cc4

Browse files
delete useless option
1 parent 80825f1 commit b097cc4

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)