diff options
Diffstat (limited to 'games/gretools/Makefile')
| -rw-r--r-- | games/gretools/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/games/gretools/Makefile b/games/gretools/Makefile index 4567777ca2da..7e3e8fa93cf2 100644 --- a/games/gretools/Makefile +++ b/games/gretools/Makefile @@ -7,7 +7,7 @@ PORTNAME= gretools PORTVERSION= 1.2.4 -PORTREVISION= 6 +PORTREVISION= 7 CATEGORIES= games gnome MASTER_SITES= http://www.cs.utexas.edu/~arvindn/gretools/%SUBDIR%/ MASTER_SITE_SUBDIR= ${PORTVERSION:R} |