# HOSTING STATION55 Webhosting, vServer, Domain Provider
# Webhosting ab 4.95 EUR, vSERVER ab 6.95 EUR im Monat.
# http://www.station55.de

User-agent: Google
User-agent: Bing
User-agent: Yahoo
User-agent: Baidu
User-agent: Yandex
User-agent: DuckDuckGo
User-agent: Ask.com
Crawl-delay: 43200

User-agent: *
Disallow: /core/
Disallow: /cgi-bin/
Disallow: /*.php$
Disallow: /*.inc$
Disallow: /*.gz$
Allow: /*.js
Allow: /*.css
Allow: /*.png
Allow: /*.jpg
Allow: /*.jpeg
Allow: /*.gif
Allow: /*.svg
Allow: /*.webp
Allow: /*.pdf