Matthew Justin Bauer 2c7c9cbbac

gcc5: delete unused patch

2018-05-19 12:06:16 -05:00

..

default.nix

gcc5: remove patch

2018-05-18 17:03:35 -05:00