diff options
| author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2016-05-19 10:44:11 +0000 |
|---|---|---|
| committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2016-05-19 10:44:11 +0000 |
| commit | 4e942b64191e2ef98dce2c5af31047a8640db768 (patch) | |
| tree | 8c3238b7f0cbec2e9210d52f562960bb22323a7d /java/eclipse-shelled | |
| parent | 1d1f878054efdd1171a8cb006e59ad0727610293 (diff) | |
Notes
Diffstat (limited to 'java/eclipse-shelled')
| -rw-r--r-- | java/eclipse-shelled/pkg-descr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/java/eclipse-shelled/pkg-descr b/java/eclipse-shelled/pkg-descr index a6a367bfe38d..349d0eddb894 100644 --- a/java/eclipse-shelled/pkg-descr +++ b/java/eclipse-shelled/pkg-descr @@ -1,5 +1,5 @@ -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 +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 |