#
# robots.txt file for a default Server
#