/patch-configure/1.1/Tue Feb 19 06:44:32 2002//
/patch-gtkpool_sound_h/1.1/Tue Feb 19 06:28:31 2002//
/patch-gtkpool_ball_cpp/1.1/Sat Sep 28 21:01:17 2002//
/patch-gtkpool_sound_cpp/1.2/Sun Sep 29 18:37:05 2002//
D
