docs: remove obsolete docs file

zama-ai · Dec 20, 2024 · a54f087 · a54f087
1 parent 749998e
commit a54f087
Showing 1 changed file with 0 additions and 77 deletions.
diff --git a/docs/getting_started/devnet.md b/docs/getting_started/devnet.md