diff options
Diffstat (limited to 'editors/drjava/distinfo')
| -rw-r--r-- | editors/drjava/distinfo | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/editors/drjava/distinfo b/editors/drjava/distinfo index 6519823df6de..65c8f2c855a5 100644 --- a/editors/drjava/distinfo +++ b/editors/drjava/distinfo @@ -1,3 +1,2 @@ -MD5 (drjava-stable-20100913-r5387.jar) = 1495f121fb19b1bcc596bea778f02867 SHA256 (drjava-stable-20100913-r5387.jar) = 02e4bb74a34865775a1b49dfcaeef29a442654f7610296b2d024e844f1d39726 SIZE (drjava-stable-20100913-r5387.jar) = 12075464 |