diff options
| author | makefu <github@syntax-fehler.de> | 2015-09-27 15:27:00 +0200 |
|---|---|---|
| committer | makefu <github@syntax-fehler.de> | 2015-09-27 15:27:00 +0200 |
| commit | 400dab8254aa175213df8f6bd5ed391d80c7d827 (patch) | |
| tree | bcd035856f0a8da4a80cbbaa897f2605f57e11f8 /krebs/4lib/infest/3install-nix-tools | |
| parent | 394408c9b715a2dfb6aba560c4db71b78cf46f8d (diff) | |
| parent | 95f1673f1f50384682815effa675e5ef5c68847e (diff) | |
Merge remote-tracking branch 'cd/master' into before-merge
Diffstat (limited to 'krebs/4lib/infest/3install-nix-tools')
| -rw-r--r-- | krebs/4lib/infest/3install-nix-tools | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/krebs/4lib/infest/3install-nix-tools b/krebs/4lib/infest/3install-nix-tools deleted file mode 100644 index 59fa6f14a..000000000 --- a/krebs/4lib/infest/3install-nix-tools +++ /dev/null @@ -1,9 +0,0 @@ -#! /bin/sh -set -efu - -install-nix-tools() {( - - -)} - -install-nix-tools "$@" |