diff options
| author | Martin Wilke <miwi@FreeBSD.org> | 2007-10-17 09:22:03 +0000 |
|---|---|---|
| committer | Martin Wilke <miwi@FreeBSD.org> | 2007-10-17 09:22:03 +0000 |
| commit | edb0d29c16ebf08b9e9e4f5e16ce99c3f4d54bd8 (patch) | |
| tree | d6f8911b173697efd9ee24a2fb196a8b6d7ecede /java/eclipse-shelled/distinfo | |
| parent | - Update to 0.40 (diff) | |
ShellEd is a superb shell script editor for Eclipse. The great benefit of
this plugin is the integration of man page information for content assist
and text hover.
WWW: http://sourceforge.net/projects/shelled
PR: ports/117174
Submitted by: Sutra Zhou <zhoushuqun at gmail.com>
Notes
Notes:
svn path=/head/; revision=201602
Diffstat (limited to 'java/eclipse-shelled/distinfo')
| -rw-r--r-- | java/eclipse-shelled/distinfo | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/java/eclipse-shelled/distinfo b/java/eclipse-shelled/distinfo new file mode 100644 index 000000000000..ad8cedbcd1b3 --- /dev/null +++ b/java/eclipse-shelled/distinfo @@ -0,0 +1,3 @@ +MD5 (eclipse/shelled_1.0.2a.zip) = c25058bc8aa1755b3fa84f62eaab2d7f +SHA256 (eclipse/shelled_1.0.2a.zip) = 0da01fed1be9454dcef6c5b9afa5f592d1834bbaa8f1b911caeae191f3d3e0dc +SIZE (eclipse/shelled_1.0.2a.zip) = 4447390 |