about summary refs log tree commit diff
path: root/.gitignore
diff options
context:
space:
mode:
authorEelco Dolstra <edolstra@gmail.com>2017-02-07T17·49+0100
committerEelco Dolstra <edolstra@gmail.com>2017-02-07T17·49+0100
commit27dc76c1a5dbe654465245ff5f6bc22e2c8902da (patch)
treee92608ba704289e18c085759f00caa66bf653c2e /.gitignore
parent1351b0df87a0984914769c5dc76489618b3a3fec (diff)
Remove build-remote.pl.in
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 92f95fe1fcb9..4d0ac32b16f6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -35,7 +35,6 @@ Makefile.config
 # /scripts/
 /scripts/nix-profile.sh
 /scripts/nix-copy-closure
-/scripts/build-remote.pl
 /scripts/nix-reduce-build
 /scripts/nix-http-export.cgi