From 3d7a142b1a93e2b715372dd5011809166b515f5c Mon Sep 17 00:00:00 2001
From: Vo Minh Thu <thu@hypered.io>
Date: Sun, 6 Oct 2024 20:57:10 +0200
Subject: [PATCH] Remove unused docs/ directory.

The website is built in a GitHub workflow.
---
 docs/CNAME      | 1 -
 docs/index.html | 1 -
 2 files changed, 2 deletions(-)
 delete mode 100644 docs/CNAME
 delete mode 100644 docs/index.html

diff --git a/docs/CNAME b/docs/CNAME
deleted file mode 100644
index bfbab1b..0000000
--- a/docs/CNAME
+++ /dev/null
@@ -1 +0,0 @@
-slab-lang.org
diff --git a/docs/index.html b/docs/index.html
deleted file mode 100644
index e23d278..0000000
--- a/docs/index.html
+++ /dev/null
@@ -1 +0,0 @@
-Soon.