Remove [dune coq top] test with symbolic links.

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 <[email protected]>
ocaml · Mar 20, 2023 · fb7b110 · fb7b110
1 parent 7260539
commit fb7b110
Showing 1 changed file with 0 additions and 18 deletions.
diff --git a/test/blackbox-tests/test-cases/coq/coqtop/coqtop-ln.t b/test/blackbox-tests/test-cases/coq/coqtop/coqtop-ln.t