diff options
author | Gregor Kleen <pngwjpgh@users.noreply.github.com> | 2016-07-09 14:45:41 +0200 |
---|---|---|
committer | Gregor Kleen <pngwjpgh@users.noreply.github.com> | 2016-07-09 14:45:41 +0200 |
commit | 2acf38c0ec4b1a37422d6f9bc55e4db0b46690ac (patch) | |
tree | 76d9d0ef7957d54cca6ec0440c312b3e46960136 /shell.nix | |
parent | a016d9c507e906cba12f8d39d42a93e09ab4e7ec (diff) | |
download | 2017-01-16_17:13:37-2acf38c0ec4b1a37422d6f9bc55e4db0b46690ac.tar 2017-01-16_17:13:37-2acf38c0ec4b1a37422d6f9bc55e4db0b46690ac.tar.gz 2017-01-16_17:13:37-2acf38c0ec4b1a37422d6f9bc55e4db0b46690ac.tar.bz2 2017-01-16_17:13:37-2acf38c0ec4b1a37422d6f9bc55e4db0b46690ac.tar.xz 2017-01-16_17:13:37-2acf38c0ec4b1a37422d6f9bc55e4db0b46690ac.zip |
prop robustness
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions