Peter Simons 194a779df4 hugs: fix build by un-defining the erroneous default for $STRIP		2017-08-23 19:53:11 +02:00
..
default.nix	hugs: fix build by un-defining the erroneous default for $STRIP	2017-08-23 19:53:11 +02:00