diff options
| author | Jjp137 <Jjp137@users.noreply.github.com> | 2019-10-25 00:47:34 -0700 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2019-10-25 09:47:34 +0200 |
| commit | 1d42108fdaa3099ecfc7d24bdfda02ecb9cdac64 (patch) | |
| tree | 8a97fc20d48b7651f3eb21881ad56be12cf1fe6a /config/nimdoc.tex.cfg | |
| parent | 5b3571c9a4b468ee95eae5d05d37d54f3016d9cd (diff) | |
| download | Nim-1d42108fdaa3099ecfc7d24bdfda02ecb9cdac64.tar.gz | |
sequtils: replace deprecated 'random' call within example (#12515) [backport]
Diffstat (limited to 'config/nimdoc.tex.cfg')
0 files changed, 0 insertions, 0 deletions