diff options
Diffstat (limited to 'editors/jedit-devel/distinfo')
| -rw-r--r-- | editors/jedit-devel/distinfo | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/editors/jedit-devel/distinfo b/editors/jedit-devel/distinfo deleted file mode 100644 index fe91ba3f34ba..000000000000 --- a/editors/jedit-devel/distinfo +++ /dev/null @@ -1,2 +0,0 @@ -SHA256 (jedit4.3pre18install.jar) = e6972ee5d79fb3d07e000c8d8b620a5997bee5dd86a44e37529878d7f1b61294 -SIZE (jedit4.3pre18install.jar) = 2761614 |