From 4b4d6c068ff4aa42d9a7c9c22455b72360a775b3 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 11 Aug 2020 17:00:37 +0200
Subject: Update website build

---
 docs/index.md | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 docs/index.md

(limited to 'docs/index.md')

diff --git a/docs/index.md b/docs/index.md
deleted file mode 100644
index 2c7417c..0000000
--- a/docs/index.md
+++ /dev/null
@@ -1 +0,0 @@
-# VeriCert
-- 
cgit