What extension is used to manage extensions.joomla.org?
From Joomla! Documentation
Revision as of 16:21, 1 September 2012 by JoomlaWikiBot (Talk | contribs)
It is a customized version of Mosets Tree (a commercial component you can find in the Joomla! Extensions Directory ).
