/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.3/Sat Feb 20 18:07:41 2010//
/patch-gtkpool_sound_cpp/1.5/Sat Feb 20 18:07:41 2010//
/patch-gtkpool_sound_h/1.3/Sat Feb 20 18:07:41 2010//
D
