diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-06-13T14·56+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2018-06-13T14·56+0200 |
| commit | 3c5d9f478d0c0b70ec3e3100a8dacbd7437bda3e (patch) | |
| tree | bd61718fa7452e7c62b8ab1e1fb32b9e7440f4b8 /Makefile | |
| parent | 0629601da1d163a059fa19004256961f8ecdeb78 (diff) | |
std::random_shuffle -> std::shuffle
The former is removed in C++17.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions