What extension is used to manage extensions.joomla.org?
From Joomla! Documentation
Revision as of 08:49, 10 May 2009 by Elin
It is a customized version of Mosets Tree (a commercial component you can find in the Joomla! Extensions Directory ).
[Where can I find release notes for older versions of Joomla! 1.5?]