Remove /docs directory

jump-dev · Mar 7, 2024 · c34e5db · c34e5db
1 parent 02e4fa8
commit c34e5db
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 26 deletions.
diff --git a/docs/make.jl b/docs/make.jl
diff --git a/docs/src/index.md b/docs/src/index.md