diff options
Diffstat (limited to 'x11/gnome-terminal')
| -rw-r--r-- | x11/gnome-terminal/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/x11/gnome-terminal/Makefile b/x11/gnome-terminal/Makefile index 9d232f7a5..79b7a3e79 100644 --- a/x11/gnome-terminal/Makefile +++ b/x11/gnome-terminal/Makefile @@ -4,6 +4,7 @@ PORTNAME= gnome-terminal PORTVERSION= 3.12.3 +PORTREVISION= 1 CATEGORIES= x11 gnome MASTER_SITES= GNOME DIST_SUBDIR= gnome3 |