diff options
| author | André Nusser <andre.nusser@googlemail.com> | 2017-01-08 18:39:19 +0100 |
|---|---|---|
| committer | André Nusser <andre.nusser@googlemail.com> | 2017-01-08 19:12:59 +0100 |
| commit | b9ae5c7b6863eab945438972c6b7c905a1924297 (patch) | |
| tree | e2e817350963586cddfb578f52d97fe3d9f007f8 /plugingui/button.cc | |
| parent | 8dc3c0e2db6ce4f571d5b763c396bdab49f94889 (diff) | |
Replace used <random> methods by own.
This makes our random numbers cross-platform.
Diffstat (limited to 'plugingui/button.cc')
0 files changed, 0 insertions, 0 deletions