Clean up developer docs.

rjust · Sep 18, 2024 · 1c17bb2 · 1c17bb2
1 parent ccb8853
commit 1c17bb2
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 235 deletions.
diff --git a/README_DEVELOPER.md → developer/README_DEVELOPER.md b/README_DEVELOPER.md → developer/README_DEVELOPER.md
diff --git a/developer/process.md b/developer/process.md
diff --git a/developer/questions.md b/developer/questions.md
diff --git a/developer/scripts/update_failing_tests.py b/developer/scripts/update_failing_tests.py
diff --git a/developer/scripts/update_hashes.py b/developer/scripts/update_hashes.py
diff --git a/developer/status.csv b/developer/status.csv