Please make sure that JavaScript is enabled in your browser. If you are using a browser extension to selectively enable or disable JavaScript, make sure it's enabled for this server.
Describe your changes (optional):
Describe the reason it's discarded (optional):
Review Request #1703 — Created July 6, 2010 and discarded
There was no mention of it, and I forgot all about it, so to help others remember about it I changed the docs.
prepare-dev.py runs this for you. If that's not working, we should fix it.