From 0a9c185f83e9296d66c7fcf23dca46b93b92b7cf Mon Sep 17 00:00:00 2001
From: Juan Pedro Villa Isaza <584947+jpvillaisaza@users.noreply.github.com>
Date: Sat, 2 Feb 2019 16:21:03 -0500
Subject: [PATCH] Remove docs/index.html

---
 docs/index.html | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 docs/index.html

diff --git a/docs/index.html b/docs/index.html
deleted file mode 100644
index e69de29..0000000