/Makefile/1.5/Fri Dec 29 10:42:29 2000//
/pingpong.C/1.10/Fri Feb  1 17:00:59 2002//
/pingpong.ci/1.6/Fri Jul  6 18:34:27 2001//
D
