John Ericson 84868b8b06 misc hurd stuff: Get rid of crossConfig ...

This stuff is horribly bit-rotted anyways, but I'm getting rid of
crossConfig so it must be changed.

2018-05-14 20:47:08 -04:00

..

default.nix

…