server: delete robots.txt

2018-12-01 19:12:49 +01:00
parent c0e512ee3b
commit 55805d40ea
1 changed files with 0 additions and 3 deletions
--- a/src/robots.txt
+++ b/src/robots.txt
@@ -1,3 +0,0 @@
-# http://www.robotstxt.org
-User-agent: *
-Disallow: