From edb0d29c16ebf08b9e9e4f5e16ce99c3f4d54bd8 Mon Sep 17 00:00:00 2001 From: Martin Wilke Date: Wed, 17 Oct 2007 09:22:03 +0000 Subject: 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 --- java/eclipse-shelled/pkg-descr | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 java/eclipse-shelled/pkg-descr (limited to 'java/eclipse-shelled/pkg-descr') diff --git a/java/eclipse-shelled/pkg-descr b/java/eclipse-shelled/pkg-descr new file mode 100644 index 000000000000..a6a367bfe38d --- /dev/null +++ b/java/eclipse-shelled/pkg-descr @@ -0,0 +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 +and text hover. + +WWW: http://sourceforge.net/projects/shelled -- cgit v1.2.3