log dbrandom.h @ 870:80af450dae76

age author description
Thu, 14 Nov 2013 22:05:47 +0800 Matt Johnston rename random.h to dbrandom.h since some OSes have a system random.h base random.h@94d82ecdb7cc