diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2016-06-02T12·25+0200 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2016-06-02T14·02+0200 |
| commit | 064816ab98e7a230b6e9f4071353f5172e70cf03 (patch) | |
| tree | eb781b84958ee558a10777d8a92833764ae1ba92 /dev-shell | |
| parent | 812c0dfbe24c8fe93992f77abbf1e5a975ea42f4 (diff) | |
Respect build-use-substitutes
Diffstat (limited to 'dev-shell')
0 files changed, 0 insertions, 0 deletions