]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #1169 from bangerth/replace-random_shuffle
authorTimo Heister <timo.heister@gmail.com>
Tue, 21 Jul 2015 15:44:21 +0000 (11:44 -0400)
committerTimo Heister <timo.heister@gmail.com>
Tue, 21 Jul 2015 15:44:21 +0000 (11:44 -0400)
commited38922c8eb41ded73bce37f62fdbfbca84c17a8
treef5a70fc66197b79a8d6a116b7f482f59ecbf474c
parentaa5e363e3bd6fadbb407a2c4f4c6ed2f2ad09c19
parentb978ae47a1457c29ac2af58970f0285dad6382e3
Merge pull request #1169 from bangerth/replace-random_shuffle

Replace the use of std::random_shuffle.

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.