Update of sr #108968 (project administration): Open/Closed: Open => Closed
_______________________________________________________ Follow-up Comment #3: It is not perfect, but I've added a "devtools" anchor to the "Development Tools" section on the project page, and made the stone-age "Source code" link go to it. I think. Closing in optimism, but please report back here if you see a problem. (sv folk: changes in frontend/php/include, files project_home.php and pagemenu.php. not committed to git yet, will do that in a day or two if all seems well.) _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/support/?108968> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/