Skip to content

Commit

Permalink
Delete dune~ (#6923)
Browse files Browse the repository at this point in the history
Ling path `test/blackbox-tests/test-cases/jsoo/no-check-prim.t/lib/dune~`
This was added along #5049 in error.

Signed-off-by: Gabor Greif <[email protected]>
  • Loading branch information
ggreif authored Jan 24, 2023
1 parent 23e09fd commit e98aa36
Showing 1 changed file with 0 additions and 7 deletions.
7 changes: 0 additions & 7 deletions test/blackbox-tests/test-cases/jsoo/no-check-prim.t/lib/dune~

This file was deleted.

0 comments on commit e98aa36

Please sign in to comment.