diff --git a/examples/_deps/doctest-src b/examples/_deps/doctest-src deleted file mode 160000 index b7c21ec..0000000 --- a/examples/_deps/doctest-src +++ /dev/null @@ -1 +0,0 @@ -Subproject commit b7c21ec5ceeadb4951b00396fc1e4642dd347e5f