Index of /pool/universe/g/gedit-developer-plugins

Name                    Last modified      Size  Description
Parent Directory                             -   
gedit-developer-plug..> 2012-06-18 18:44  3.6K  
gedit-developer-plug..> 2012-06-18 18:44  2.1K  
gedit-developer-plug..> 2012-06-18 18:44   37K  
gedit-developer-plug..> 2012-06-18 18:44  207K