Diff

util/random.lua @ 7987:b3ee697158b5

configure: Move name and directory name into a variable for easier comparison with similar scripts
author Kim Alvefur <zash@zash.se>
date Sat, 18 Mar 2017 18:50:17 +0100
parent 7187:3d2c2f0809ee
child 8241:e7496cff1215
child 8242:177873dc9cf3
line wrap: on
line diff