diff options
Diffstat (limited to 'misc/gnome-devel-docs/Makefile')
| -rw-r--r-- | misc/gnome-devel-docs/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/misc/gnome-devel-docs/Makefile b/misc/gnome-devel-docs/Makefile index cad43b21a..c19e01608 100644 --- a/misc/gnome-devel-docs/Makefile +++ b/misc/gnome-devel-docs/Makefile @@ -3,7 +3,7 @@ # $MCom$ PORTNAME= gnome-devel-docs -PORTVERSION= 3.12.2 +PORTVERSION= 3.12.3 CATEGORIES= misc gnome MASTER_SITES= GNOME DIST_SUBDIR= gnome3 |