Updates:
Status: Fixed
Labels: -Patch-needs_work Fixed_2_17_22
Comment #7 on issue 3430 by [email protected]: make website does
the wrong thing with robots.txt
http://code.google.com/p/lilypond/issues/detail?id=3430
Thanks for the work on this, Julien. Graham recommended that the shell
script on the server should do this copying, so I've updated it and you'll
see that robots.txt on the root is now the updated version.
--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings