chore: remove default docs directory

red-explosion · Dec 11, 2023 · 828b840 · 828b840
1 parent 3342cfb
commit 828b840
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 1 deletion.
diff --git a/.gitattributes b/.gitattributes
@@ -2,7 +2,6 @@
 
 /.github           export-ignore
 /art               export-ignore
-/docs              export-ignore
 /tests             export-ignore
 /scripts           export-ignore
 .editorconfig      export-ignore

diff --git a/docs/.gitkeep b/docs/.gitkeep