diff options
| author | DavePutz <dwputz@gmail.com> | 2021-01-14 10:01:03 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-14 10:01:03 -0600 |
| commit | e424c8424936ded83803b098229d0787903f9f92 (patch) | |
| tree | 747cea709440abd61a24805d11d3959d88d4aaa3 /docs | |
| parent | 76e9f495c744153f10f40992a04256bf8770184b (diff) | |
| parent | 47015d778944d8f30d45c76446d4a1dc4ad66a45 (diff) | |
Merge pull request #38 from adafruit/main
Update from adafruit main
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/robots.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/robots.txt b/docs/robots.txt new file mode 100644 index 000000000..ad3189d42 --- /dev/null +++ b/docs/robots.txt @@ -0,0 +1,6 @@ +User-agent: * +Allow: /*/latest/ +Allow: /en/latest/ # Fallback for bots that don't understand wildcards +Allow: /*/6.0.x/ +Allow: /en/6.0.x/ # Fallback for bots that don't understand wildcards +Disallow: / |