diff options
Diffstat (limited to 'devel/omniORB/Makefile')
| -rw-r--r-- | devel/omniORB/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/omniORB/Makefile b/devel/omniORB/Makefile index 95a1f3d0c895..1457f3549298 100644 --- a/devel/omniORB/Makefile +++ b/devel/omniORB/Makefile @@ -6,7 +6,7 @@ # PORTNAME= omniORB -PORTVERSION= 4.1.2 +PORTVERSION= 4.1.3 CATEGORIES= devel MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= ${PORTNAME:L} |