index : website | |
Archlinux32 website - obsolete | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2019-07-25 14:13:47 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-07-25 14:13:47 +0200 |
commit | 161d73af81750c5cd27bee032ae54174ca895609 (patch) | |
tree | 3796114cacdc7458ad02007fbcd665e835b14210 | |
parent | 8f225a5f2844a14c038d1820fe1b894e6a99f600 (diff) |
-rw-r--r-- | robots.txt | 14 |
diff --git a/robots.txt b/robots.txt new file mode 100644 index 0000000..fd3ab65 --- /dev/null +++ b/robots.txt @@ -0,0 +1,14 @@ +User-agent: * +Disallow: buildmaster/build-list-links.php +Disallow: buildmaster/build-list.php +Disallow: buildmaster/build-log.php +Disallow: buildmaster/build-slaves.php +Disallow: buildmaster/deletion-links.php +Disallow: buildmaster/dependencies.php +Disallow: buildmaster/execution-times.php +Disallow: buildmaster/log.php +Disallow: buildmaster/mysql-issues.php +Disallow: buildmaster/statistics.php +Disallow: buildmaster/status.php +Disallow: buildmaster/to-delete.php +Disallow: packages/differences/ |