/* -*- C++ -*- */ // $Id$ // Synch_Options.i