diff options
| -rw-r--r-- | editors/jedit-devel/distinfo | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editors/jedit-devel/distinfo b/editors/jedit-devel/distinfo index 0595f4d7cfa9..e5c6f7d80767 100644 --- a/editors/jedit-devel/distinfo +++ b/editors/jedit-devel/distinfo @@ -1,2 +1,3 @@ MD5 (jedit43pre2install.jar) = 87b987b953fef314511ca3df2c2626ea +SHA256 (jedit43pre2install.jar) = 114a7abff01fef629943cc46d7c85a11034f66c83568e732373662bf45682fd1 SIZE (jedit43pre2install.jar) = 2111417 |