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

Filename	Modification time	Size
gedit-developer-plugins_0.5.15-0ubuntu1.debian.tar.gz	2012-06-18 17:44 CEST	3708 B
gedit-developer-plugins_0.5.15-0ubuntu1.dsc	2012-06-18 17:44 CEST	2179 B
gedit-developer-plugins_0.5.15-0ubuntu1_all.deb	2012-06-18 17:44 CEST	37 KiB
gedit-developer-plugins_0.5.15.orig.tar.gz	2012-06-18 17:44 CEST	207 KiB