Explorar el Código

build: add some resources in generated gh-pages

David Bernard hace 9 años
padre
commit
dd10695348
Se han modificado 2 ficheros con 5 adiciones y 0 borrados
  1. 0 0
      src/docs/ressources/.nojekill
  2. 5 0
      src/docs/ressources/robots.txt

+ 0 - 0
src/docs/ressources/.nojekill


+ 5 - 0
src/docs/ressources/robots.txt

@@ -0,0 +1,5 @@
+# www.robotstxt.org/
+# www.google.com/support/webmasters/bin/answer.py?hl=en&answer=156449
+
+User-agent: *
+Disallow: