Changeset 2402

Timestamp:
08/26/05 11:38:21 (19 years ago)
Author:
jerome
Message:

Purged directory not used anymore, since now pkpgcounter is
distributed separately.

Files:
1 removed