aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorEelco Dolstra <edolstra@gmail.com>2017-02-07 18:54:33 +0100
committerEelco Dolstra <edolstra@gmail.com>2017-02-07 18:54:33 +0100
commitc54814b175793f0e7a53fdeba55d1149342ec82a (patch)
treed49da066c5286960dd7503f102c87678997de4db /.gitignore
parent27dc76c1a5dbe654465245ff5f6bc22e2c8902da (diff)
Remove download-via-ssh
Replaced by SSHStore.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore3
1 files changed, 0 insertions, 3 deletions
diff --git a/.gitignore b/.gitignore
index 4d0ac32b1..336967d15 100644
--- a/.gitignore
+++ b/.gitignore
@@ -71,9 +71,6 @@ Makefile.config
# /src/nix-channel/
/src/nix-channel/nix-channel
-# /src/download-via-ssh/
-/src/download-via-ssh/download-via-ssh
-
# /src/buildenv/
/src/buildenv/buildenv