diff Tools/scripts/copytime.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 fcfe324663a6
children 6cfe2982de42
line wrap: on
line diff