| Filename | Modified | Size | Type |
|---|---|---|---|
| [Parent Directory] | - | - | - |
| gedit-developer-plugins_0.5.15-0ubuntu1.debian.tar.gz | 18/06/12 15:4418/06/12 | 3.6 KiB | [Save][Download] |
| gedit-developer-plugins_0.5.15-0ubuntu1.dsc | 18/06/12 15:4418/06/12 | 2.1 KiB | [Save][Download] |
| gedit-developer-plugins_0.5.15-0ubuntu1_all.deb | 18/06/12 15:4418/06/12 | 37.1 KiB | [Save][Download] |
| gedit-developer-plugins_0.5.15.orig.tar.gz | 18/06/12 15:4418/06/12 | 207 KiB | [Save][Download] |