Skip to content
Snippets Groups Projects
This is RunControl-01-05-08.

Main changes:
- Replacing std::random_shuffle (already deprecated in C++14).