diff options
| author | Evgeny Vereshchagin <evvers@ya.ru> | 2015-12-08 02:33:52 +0000 |
|---|---|---|
| committer | Evgeny Vereshchagin <evvers@ya.ru> | 2015-12-08 02:33:52 +0000 |
| commit | 7118d2f795f6bc47b9dc4313110843ca3484e567 (patch) | |
| tree | c95abb00a2db95193d7bf9c829854be4df30ff61 /src/basic/random-util.h | |
| parent | c9811ac800df461b010909f343a2e0251b6b57d4 (diff) | |
build-sys: remove dist-check-python
added: 279419b379
obsoleted: 2c8849add4
Diffstat (limited to 'src/basic/random-util.h')
0 files changed, 0 insertions, 0 deletions