/patch-configure/1.2/Fri Oct 25 11:59:06 2002//
/patch-gtkpool_application_cpp/1.1/Fri Oct 25 11:59:06 2002//
/patch-gtkpool_ball_cpp/1.2/Fri Oct 25 11:59:06 2002//
/patch-gtkpool_sound_h/1.2/Fri Oct 25 11:59:06 2002//
/patch-gtkpool_sound_cpp/1.4/Fri Nov  2 04:19:17 2007//
D
