Create robots.txt (#48)

jump-dev · May 24, 2021 · ea0221e · ea0221e
1 parent 920743c
commit ea0221e
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/robots.txt b/robots.txt
@@ -0,0 +1,5 @@
+User-agent: *
+Disallow: /JuMP.jl
+Allow: /JuMP.jl/stable
+Disallow: /MathOptInterface.jl
+Allow: /MathOptInterface.jl/stable