lars
committed
on 24 Sep 03
Fixed bug #614: Perhaps we should ship with a default robots.txt?