Fix directory name

o1c-dev · Apr 24, 2021 · b12853e · b12853e
1 parent 0fafa31
commit b12853e
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/doc/index.md → docs/index.md b/doc/index.md → docs/index.md