diff options
| author | olgeni <olgeni@FreeBSD.org> | 2009-06-11 20:05:07 +0800 |
|---|---|---|
| committer | olgeni <olgeni@FreeBSD.org> | 2009-06-11 20:05:07 +0800 |
| commit | edf19349fe259cec89920ae2b83b3faff6510d0c (patch) | |
| tree | d95169dd45452b50f89319c9cfbe47bf71385c4e /devel | |
| parent | 83120169f2b2216b15dcfdbbdf3fd2e3ad2db266 (diff) | |
| download | freebsd-ports-gnome-edf19349fe259cec89920ae2b83b3faff6510d0c.tar.gz freebsd-ports-gnome-edf19349fe259cec89920ae2b83b3faff6510d0c.tar.zst freebsd-ports-gnome-edf19349fe259cec89920ae2b83b3faff6510d0c.zip | |
Force rebuild with R13B01.
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/esdl/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/esdl/Makefile b/devel/esdl/Makefile index 8b82ed059bd5..22db4adcda25 100644 --- a/devel/esdl/Makefile +++ b/devel/esdl/Makefile @@ -7,7 +7,7 @@ PORTNAME= esdl PORTVERSION= 0.96.0626 -PORTREVISION= 6 +PORTREVISION= 7 CATEGORIES= devel MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= ${PORTNAME} |