Merge branch 'rng_pointer' into 'master'
Use shared_ptr to store RNG
Closes #102
See merge request hej/HEJ!124
Merge branch 'rng_pointer' into 'master'
Description Merge branch 'rng_pointer' into 'master' Use shared_ptr to store RNG Closes #102 See merge request hej/HEJ!124
Details
Event Timeline
Merged Changes
|