diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2019-05-30T12·15+0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-05-30T12·15+0200 |
commit | d8abee9bc6dd12173857e27c08a6ed116c2343f4 (patch) | |
tree | 9df141e570b1e6b7c6b2876923fdf3251aa6cacb /release-common.nix | |
parent | 17ef3e6f411b2cf1fa87593ad84bc2a94a1edd93 (diff) | |
parent | a8251ba2ed9e833ef3e8b20d233064aba74446db (diff) |
Merge pull request #2892 from johannes-climacus/master
Replace `type` with `command -v` in install script
Diffstat (limited to 'release-common.nix')
0 files changed, 0 insertions, 0 deletions