Remove website from simgrid directory

[simgrid.git] / doc / webcruft / robots.txt

diff --git a/doc/webcruft/robots.txt b/doc/webcruft/robots.txt
deleted file mode 100644 (file)
index 7ce4fc9..0000000
--- a/doc/webcruft/robots.txt
+++ /dev/null
@@ -1,2 +0,0 @@
-User-agent: *
-Allow: *