Diff

util/random.lua @ 8092:0a1c0f1107d2

util.datamanager: Use already known index instead of measuring length each iteration
author Kim Alvefur <zash@zash.se>
date Mon, 17 Apr 2017 03:26:21 +0200
parent 7187:3d2c2f0809ee
child 8241:e7496cff1215
child 8242:177873dc9cf3
line wrap: on
line diff