diff options
| author | André Nusser <andre.nusser@googlemail.com> | 2016-03-24 00:11:28 +0100 |
|---|---|---|
| committer | André Nusser <andre.nusser@googlemail.com> | 2016-03-29 22:18:48 +0200 |
| commit | 866b09992668f97af063dcd77dc5dd0e3a512b94 (patch) | |
| tree | dfeffaa3eb1a559d746d04f3fbb7402e74d1b290 /plugingui/widget.cc | |
| parent | efe93864d53f72be4fa4dfe003f0f7578fc558e2 (diff) | |
New Random class for convenient random number generation.
Diffstat (limited to 'plugingui/widget.cc')
0 files changed, 0 insertions, 0 deletions