[Python-Dev] what happened to find.py?
Barry A. Warsaw
bwarsaw@cnri.reston.va.us (Barry A. Warsaw)
Mon, 18 Oct 1999 11:35:04 -0400 (EDT)
>>>>> "Guido" == Guido van Rossum <guido@cnri.reston.va.us> writes:
Guido> It *is* in Lib/lib-old. Maybe the CVS mirror is messed up,
Guido> we'll ask Barry to investigate. Maybe the branching messed
Guido> things up?
Somehow the mirror was out of date. Perhaps the branch merge got it
out of whack, but in any case, I've done a top-level resync. find.py
is definitely in the repository under lib-old now!
Hope that helps,
-Barry