From fea87078c5384bb74ceafb681458d4091bae7993 Mon Sep 17 00:00:00 2001
From: XhmikosR <xhmikosr@gmail.com>
Date: Fri, 28 Dec 2018 08:54:53 +0200
Subject: [PATCH] Remove unneeded robots.txt.

---
 docs/3.4/robots.txt | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100755 docs/3.4/robots.txt

diff --git a/docs/3.4/robots.txt b/docs/3.4/robots.txt
deleted file mode 100755
index ab49395796..0000000000
--- a/docs/3.4/robots.txt
+++ /dev/null
@@ -1,6 +0,0 @@
-# www.robotstxt.org/
-
-# Allow crawling of all content
-User-agent: *
-Disallow:
-Sitemap: https://getbootstrap.com/sitemap.xml