diff options
| -rw-r--r-- | editors/dedit/Makefile | 2 | ||||
| -rw-r--r-- | editors/dedit/distinfo | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/editors/dedit/Makefile b/editors/dedit/Makefile index a90620370048..e596049c4c1e 100644 --- a/editors/dedit/Makefile +++ b/editors/dedit/Makefile @@ -6,7 +6,7 @@ # PORTNAME= dedit -PORTVERSION= 0.5.10 +PORTVERSION= 0.5.11 CATEGORIES= editors gnome MASTER_SITES= ftp://ftp.debian.org/debian/dists/unstable/main/source/editors/ DISTNAME= ${PORTNAME}_${PORTVERSION} diff --git a/editors/dedit/distinfo b/editors/dedit/distinfo index c4d6be07487f..7461c6ac9d53 100644 --- a/editors/dedit/distinfo +++ b/editors/dedit/distinfo @@ -1 +1 @@ -MD5 (dedit_0.5.10.tar.gz) = abd114de310a3e8f8012cec614709b0e +MD5 (dedit_0.5.11.tar.gz) = 095b4fddac8d9a330c6c708e1fa0c508 |