diff default_options.h @ 1724:ca75bb513359

_GNU_SOURCE for random
author Matt Johnston <matt@ucc.asn.au>
date Tue, 23 Jun 2020 21:38:46 +0800
parents c0f12eaf95c9
children d529a52b2f7c 42745af83b7d
line wrap: on
line diff