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