-SUBDIRS(
- bash
- examples
- )
+## =========================================================================
+## @author Leonardo Florez-Valencia (florez-l@javeriana.edu.co)
+## =========================================================================
+
+subdirs(bash examples)
## eof - $RCSfile$