Skip to content

Commit

Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove [dune coq top] test with symbolic links.
Browse files Browse the repository at this point in the history
This use-case was always weird, and expanding symbolic links is
not always what we want. For instance, there can be problems if
we use symbolic links in a dune workspace.

Signed-off-by: Rodolphe Lepigre <lepigre@mpi-sws.org>
rlepigre committed Mar 20, 2023
1 parent 15d87ec commit 2b40bd4
Showing 1 changed file with 0 additions and 18 deletions.
18 changes: 0 additions & 18 deletions test/blackbox-tests/test-cases/coq/coqtop/coqtop-ln.t

This file was deleted.

0 comments on commit 2b40bd4

Please sign in to comment.