John Ericson c3b2c5bf77 Merge pull request #25997 from obsidiansystems/isHurd
stdenv: Rename `isGNU` to `isHurd` as GNU is a userland
2017-05-22 19:02:49 -04:00
..
2017-05-22 18:52:50 -04:00
2017-04-19 19:37:55 -05:00
2017-04-19 19:37:55 -05:00
2017-04-19 19:37:55 -05:00
2017-04-23 15:20:35 -05:00
2017-04-19 19:37:55 -05:00
2017-05-21 12:13:34 +01:00
2017-04-19 19:37:55 -05:00
2017-04-19 19:37:55 -05:00
2017-04-19 19:37:55 -05:00