docs: remove files from docs that live in dev since 2010

Nothing links to those since 80ff06e
curl · Jul 31, 2024 · 993b685 · 993b685
1 parent f5e24d7
commit 993b685
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 88 deletions.
diff --git a/docs/_contribute.html b/docs/_contribute.html
diff --git a/docs/_internals.shtml b/docs/_internals.shtml
diff --git a/docs/_runtests.html b/docs/_runtests.html