Diff

configure @ 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 8087:eb38f3b919be
child 8129:69f8b22b0472
line wrap: on
line diff