Adds robots.txt to exclude dir, closes #2720

Raku · Apr 18, 2019 · 6c8f2a5 · 6c8f2a5
1 parent 098a505
commit 6c8f2a5
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/html/robots.txt b/html/robots.txt
@@ -0,0 +1,2 @@
+User-agent: *
+Disallow: /build_log/