Does anyone how to remove padded numbers with python? I want to be able to take a file like
afile.0001.cin and convert it to afile.1.cin I've been checking the docs but nothing jumps out at me. Thanks! _______________________________________________ Tutor maillist - Tutor@python.org http://mail.python.org/mailman/listinfo/tutor
