remove obsolete file

MannLabs · Jan 23, 2025 · 8be211f · 8be211f
1 parent 7194b28
commit 8be211f
Showing 1 changed file with 0 additions and 11 deletions.
diff --git a/docs/build_docs.sh b/docs/build_docs.sh