SUBDIRS(bash plugins examples PipelineEditor) ## eof - $RCSfile$