Diff

plugins/mod_time.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 5776:bd0ff8ae98a8
child 9225:0ba963e82ac7
line wrap: on
line diff