diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2016-08-10T15·22+0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-08-10T15·22+0200 |
commit | 6601e465675c5927f85e68a78c22f8828ddc3362 (patch) | |
tree | b85e8f8f0257c2415e603eba86448f4ff24c918a /.gitignore | |
parent | a6eed133c5a3602037bc48675ca783185cca5454 (diff) | |
parent | 6e51af80231b2a35ba3f5edffa7e235b239955a0 (diff) |
Merge pull request #1024 from shlevy/nuke-nix-push
Nuke nix-push.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 245b89f3cbc2..2d1695d474cb 100644 --- a/.gitignore +++ b/.gitignore @@ -34,7 +34,6 @@ Makefile.config # /scripts/ /scripts/nix-profile.sh -/scripts/nix-push /scripts/nix-switch /scripts/nix-collect-garbage /scripts/nix-prefetch-url |