diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-04-10T09·12+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-04-10T09·27+0200 |
| commit | 105f8ffc98d25e23c9a7eb5a5327e711b1e21e50 (patch) | |
| tree | 0521d181dc8e9d753d0bb76cfbfd90376b4dbe61 /shell.nix | |
| parent | 95295482ea629fd21992f564b8e4f1710a7a61e6 (diff) | |
Minor cleanup
Also, possible fix for #1310 on 32-bit systems.
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions