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


../
gedit-developer-plugins_0.5.15-0ubuntu1.debian...> 18-Jun-2012 15:44                3708
gedit-developer-plugins_0.5.15-0ubuntu1.dsc        18-Jun-2012 15:44                2179
gedit-developer-plugins_0.5.15-0ubuntu1_all.deb    18-Jun-2012 15:44               38012
gedit-developer-plugins_0.5.15.orig.tar.gz         18-Jun-2012 15:44              211798