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 653b03b39e01..0d5efa0ce6e3 100644 --- a/games/gretools/Makefile +++ b/games/gretools/Makefile @@ -7,7 +7,7 @@ PORTNAME= gretools PORTVERSION= 1.2.4 -PORTREVISION= 10 +PORTREVISION= 11 CATEGORIES= games gnome MASTER_SITES= http://www.cs.utexas.edu/~arvindn/gretools/%SUBDIR%/ MASTER_SITE_SUBDIR= ${PORTVERSION:R} |