/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_cpp/1.3/Fri Oct 25 11:59:06 2002//
/patch-gtkpool_sound_h/1.2/Fri Oct 25 11:59:06 2002//
D
