Skip to content

Commit c3e4478

Browse files
kim-emkim-em
committed
test: remove the grind parser test
1 parent d024cd1 commit c3e4478

1 file changed

Lines changed: 0 additions & 17 deletions

File tree

‎tests/elab/grind_param_syntax.lean‎

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

0 commit comments

Comments
 (0)