diff options
| author |  Wayne Zhang <qiwzhang@gmail.com> | 2017-05-30 11:18:23 -0700 |
|---|---|---|
| committer |  Feng Xiao <xfxyjwf@gmail.com> | 2017-05-30 11:18:23 -0700 |
| commit | d6470abef1ca76c40e6da3b4445b7c32f1d0e2e3 (patch) | |
| tree | a2a485e4791be487efc822a6ea6f3297536a973c /BUILD | |
| parent | e222997c5bb136b4f079d5fdb1c9852bfadb2b3a (diff) | |
not to use std::random_device for map.Seed(). (#3133)
* not to use std::random_device for map.Seed().
* remove include random
Diffstat (limited to 'BUILD')
0 files changed, 0 insertions, 0 deletions