Remove now useless tests

tarides · Feb 3, 2025 · 05776c3 · 05776c3
1 parent 0084bfb
commit 05776c3
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 98 deletions.
diff --git a/tests/bin/no-doc/dune b/tests/bin/no-doc/dune
diff --git a/tests/bin/no-doc/run.t b/tests/bin/no-doc/run.t
diff --git a/tests/bin/non-github-doc-uri/dune b/tests/bin/non-github-doc-uri/dune
diff --git a/tests/bin/non-github-doc-uri/run.t b/tests/bin/non-github-doc-uri/run.t