[Python-Dev] what happened to find.py?

[Barry A. Warsaw]

>>>>> "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