Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
gedit-developer-plugins_0.5.15-0ubuntu1.dsc | 2019-07-08 20:25 | 2.1K | |
gedit-developer-plugins_0.5.15-0ubuntu1.debian.tar.gz | 2019-07-08 20:25 | 3.6K | |
gedit-developer-plugins_0.5.15-0ubuntu1_all.deb | 2012-06-18 17:44 | 37K | |
gedit-developer-plugins_0.5.15.orig.tar.gz | 2019-07-08 20:25 | 207K | |