diff options
Diffstat (limited to 'editors/jedit-devel/distinfo')
| -rw-r--r-- | editors/jedit-devel/distinfo | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editors/jedit-devel/distinfo b/editors/jedit-devel/distinfo index 3a9ddd1a53f..5c6856f7a31 100644 --- a/editors/jedit-devel/distinfo +++ b/editors/jedit-devel/distinfo @@ -1,2 +1,2 @@ -MD5 (jedit42pre13install.jar) = 71e76c2d989218a7e745e61a40874d8c -SIZE (jedit42pre13install.jar) = 2184161 +MD5 (jedit42pre14install.jar) = 3723aaf545241aef0a261d9a140fb8ff +SIZE (jedit42pre14install.jar) = 2076042 |