# # robots.txt for http://www.diniworld.de/ # # $Id: robots.txt,v 1.00 2001/09/12 $ # User-agent: *