Diff

COPYING @ 8241:e7496cff1215

util.random: Remove obsolete noop seed function
author Kim Alvefur <zash@zash.se>
date Sat, 16 Sep 2017 17:22:51 +0200
parent 4304:73bf8aab8b77
child 12353:5ace23519e71
line wrap: on
line diff