ui: add robots.txt

pull/140/head
undefined 3 years ago
parent cd9bfffcec
commit b928ef5773

@ -0,0 +1,7 @@
User-agent: *
Disallow: /p/*/submit
Disallow: /p/*/edit
Disallow: /problem/
Disallow: /record/
Disallow: /d/*/user/*
Disallow: /manage/
Loading…
Cancel
Save