comparison options.h @ 858:220f55d540ae

rename random.h to dbrandom.h since some OSes have a system random.h
author Matt Johnston <matt@ucc.asn.au>
date Thu, 14 Nov 2013 22:05:47 +0800
parents c19acba28590
children ff597bf2cfb0
comparison
equal deleted inserted replaced
857:c19acba28590 858:220f55d540ae