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