Guillaume Damiand ebc4300334 Header only for random.cpp. ... For the header only version, the global variable default_random no more exist => we need to replace all occurences of default_random by a call to the global function get_default_random(). As usual, no modification for the non header only version.		2014-11-14 14:20:26 +01:00
..
test_Random.cpp	Header only for random.cpp.	2014-11-14 14:20:26 +01:00