## ===============================
## == Some configurable options ==
## ===============================


## eof - $RCSfile$