chore(third_party/nix): Dump of minor accumulated changes

None of these are worthy of a specific commit, or even have a real
reason behind them, but I didn't want to lose them.
This commit is contained in:
Vincent Ambo 2020-05-20 01:10:44 +01:00
parent ddd059e0fa
commit ffb2ae54be
5 changed files with 5 additions and 25 deletions

View file

@ -107,9 +107,6 @@ config_h.set(
'SYSTEM', system,
description : 'platform identifier (`cpu-os`)')
# checking headers
#============================================================================