diff options
author | Gregor Kleen <pngwjpgh@users.noreply.github.com> | 2016-07-07 18:22:33 +0200 |
---|---|---|
committer | Gregor Kleen <pngwjpgh@users.noreply.github.com> | 2016-07-07 18:22:33 +0200 |
commit | b7a9db96852988527bf8538c22ba102ef2e3f21e (patch) | |
tree | 286bcf745cf2182ce1e7235b0c970443bf29c507 /shell.nix | |
parent | 68d92818bb52630ecc3c262b9d9adf837afecb0d (diff) | |
download | 2017-01-16_17:13:37-b7a9db96852988527bf8538c22ba102ef2e3f21e.tar 2017-01-16_17:13:37-b7a9db96852988527bf8538c22ba102ef2e3f21e.tar.gz 2017-01-16_17:13:37-b7a9db96852988527bf8538c22ba102ef2e3f21e.tar.bz2 2017-01-16_17:13:37-b7a9db96852988527bf8538c22ba102ef2e3f21e.tar.xz 2017-01-16_17:13:37-b7a9db96852988527bf8538c22ba102ef2e3f21e.zip |
Ignore build result
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions