diff options
Diffstat (limited to 'german/tipp10')
| -rw-r--r-- | german/tipp10/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/german/tipp10/Makefile b/german/tipp10/Makefile index 40377c62db89..b3aa7a392884 100644 --- a/german/tipp10/Makefile +++ b/german/tipp10/Makefile @@ -7,6 +7,7 @@ PORTNAME= tipp10 PORTVERSION= 2.0.1 +PORTREVISION= 1 CATEGORIES= german MASTER_SITES= http://www.tipp10.de/download/ DISTNAME= tipp10_source_v2-0-1 |