log dbrandom.c @ 1551:1acbdf64088e

age author description
Thu, 20 Jul 2017 19:38:26 +0000 Michael Witten options: Complete the transition to numeric toggles (`#if')
Sat, 19 Aug 2017 17:16:13 +0200 Francois Perrad Pointer parameter could be declared as pointing to const