diff options
| author | piernov <piernov@piernov.org> | 2011-09-01 12:39:47 +0200 |
|---|---|---|
| committer | piernov <piernov@piernov.org> | 2011-09-01 12:39:47 +0200 |
| commit | 799cb5c7310f258be1f51f516557598c631d47a8 (patch) | |
| tree | 63d9d5f3d33fe3373f6aed4aefe8258f26ebe01c /gedit-plugins/Pkgfile | |
| parent | 70f0f2c319b4f7444ecae2d35741d145e45dfc78 (diff) | |
| download | gnome3-799cb5c7310f258be1f51f516557598c631d47a8.tar.gz gnome3-799cb5c7310f258be1f51f516557598c631d47a8.tar.bz2 gnome3-799cb5c7310f258be1f51f516557598c631d47a8.tar.xz gnome3-799cb5c7310f258be1f51f516557598c631d47a8.zip | |
gedit-plugins 3.1.3-1 màj port
Diffstat (limited to 'gedit-plugins/Pkgfile')
| -rw-r--r-- | gedit-plugins/Pkgfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gedit-plugins/Pkgfile b/gedit-plugins/Pkgfile index e344f5f..02697af 100644 --- a/gedit-plugins/Pkgfile +++ b/gedit-plugins/Pkgfile @@ -6,7 +6,7 @@ # Run on: gedit,pygtksourceview,gucharmap,vte name=gedit-plugins -version=3.1.2 +version=3.1.3 release=1 source=(http://ftp.gnome.org/pub/GNOME/sources/$name/${version%.*}/$name-$version.tar.xz) |