Rename 'doc' to 'docs'

rnelson · Jun 27, 2024 · 89aeb7f · 89aeb7f
1 parent e7fdcb4
commit 89aeb7f
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 0 deletions.
diff --git a/doc/DESIGN → docs/DESIGN b/doc/DESIGN → docs/DESIGN
diff --git a/doc/README → docs/README b/doc/README → docs/README
diff --git a/doc/SAMPLE → docs/SAMPLE b/doc/SAMPLE → docs/SAMPLE