comparison Tools/scripts/patchcheck.py @ 83447:678564fc0962 3.3

#17789: test_random now works with unittest test discovery. Patch by Zachary Ware.
author Ezio Melotti <ezio.melotti@gmail.com>
date Fri, 19 Apr 2013 05:45:27 +0300
parents d3374d393975
children 26686d227e41
comparison
equal deleted inserted replaced
83445:f5d31084fbbd 83447:678564fc0962