Diff

core/usermanager.lua @ 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 8192:4354f556c5db
child 8555:4f0f5b49bb03
line wrap: on
line diff