Danny Robson 107947899c random: remove generator choice from easy API ...

it's supposed to be an easy replacement for std::rand, we don't need to
let the user choose their generator.

2017-08-28 14:12:36 +10:00

..

buffer

random: remove generator choice from easy API

2017-08-28 14:12:36 +10:00

deleter.cpp

memory: rename object_deleter to owner_deleter

2015-11-19 16:46:19 +11:00

deleter.hpp

build: use explicit constructors

2017-05-23 12:50:51 +10:00

system.cpp

cast: move types/casts to cast

2015-11-17 16:19:27 +11:00

system.hpp

use nested namespace declarations

2017-01-05 15:06:49 +11:00