Diff

util/random.lua @ 7973:703f7f45feb4

util.signal: Enable all GNU features, _DEFAULT_SOURCE doesn't have the desired effect before glibc 2.19
author Kim Alvefur <zash@zash.se>
date Sun, 12 Mar 2017 12:49:34 +0100
parent 7187:3d2c2f0809ee
child 8241:e7496cff1215
child 8242:177873dc9cf3
line wrap: on
line diff