// $Id$

workspace {
  exclude {
    CIAO
  }
}