diff options
author | makefu <github@syntax-fehler.de> | 2015-09-27 19:41:01 +0200 |
---|---|---|
committer | makefu <github@syntax-fehler.de> | 2015-09-27 19:41:01 +0200 |
commit | bc2bd6e2f6e9295b14e641b82bff62b40641988d (patch) | |
tree | 8bc4b655c12b4e0bc33051116a3adb3003463d34 /krebs/4lib/infest/3install-nix-tools | |
parent | c65614cdef66c38ff2939928e9072873e19e1c37 (diff) | |
parent | 170191034e51fb7e80ff6e6ddcac103ec7527afd (diff) |
Merge branch '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 "$@" |