remove unused doc file

AbhimanyuAryan · Oct 1, 2023 · 91a3fe0 · 91a3fe0
1 parent 637b981
commit 91a3fe0
Showing 1 changed file with 0 additions and 73 deletions.
diff --git a/docs/src/basic.md b/docs/src/basic.md