Remove docs/* and add to .gitignore

tc39 · Jun 10, 2021 · b0ebfe5 · b0ebfe5
1 parent bad3dc9
commit b0ebfe5
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 5,772 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1,3 @@
 node_modules
 coverage
+docs