diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-06-23 14:35:35 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-06-23 16:29:51 +0200 |
| commit | be873f64540d3c0b1227920eb466097ed738f452 (patch) | |
| tree | 2ec34f28701e437c650e530b427a88bcc76e3113 /INSTALL | |
| parent | fcb0a1bb9cea0e627152e544b0701c039cc3f60e (diff) | |
Issue warning if collecting RandSeed data failed
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions