remove more files in docs/ that are in dev/ since 2010

curl · Jul 31, 2024 · ac7e4ca · ac7e4ca
1 parent 77af0b5
commit ac7e4ca
Show file tree

Hide file tree

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