delete docs folder, as created by gha

markheckmann · Dec 28, 2023 · 580571d · 580571d
1 parent edaa66f
commit 580571d
Show file tree

Hide file tree

Showing 334 changed files with 3 additions and 54,988 deletions.
diff --git a/.gitignore b/.gitignore
@@ -9,4 +9,4 @@ OpenRepGrid.Rproj
 inst/doc
 /doc/
 /Meta/
-docs
+
diff --git a/docs/404.html b/docs/404.html
diff --git a/docs/CNAME b/docs/CNAME
diff --git a/docs/CODE_OF_CONDUCT.html b/docs/CODE_OF_CONDUCT.html