diff options
Diffstat (limited to 'editors/jedit')
| -rw-r--r-- | editors/jedit/distinfo | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editors/jedit/distinfo b/editors/jedit/distinfo index 2d93cbfd6e57..5b1f0fa12154 100644 --- a/editors/jedit/distinfo +++ b/editors/jedit/distinfo @@ -1,2 +1,3 @@ MD5 (jedit42install.jar) = 4d3f709778d619ccf9fc2d56b60b7cb9 +SHA256 (jedit42install.jar) = 5a48dec0997bb67cfa1f626f6c8cb945ec1d6a8ff592850e8589d67a4fa9bfca SIZE (jedit42install.jar) = 2072958 |