/patch-src_orca_orca_gui_prefs_py/1.1.1.1/Mon Mar 17 19:11:58 2008//
/patch-src_orca_orca_in/1.1.1.1/Mon Mar 17 19:11:58 2008//
D
