diff options
| author | tv <tv@shackspace.de> | 2015-07-29 15:21:15 +0200 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2015-07-29 15:21:15 +0200 |
| commit | 9eb2d720e1799cf41560c0f4eaea12cd7f73080c (patch) | |
| tree | 4723487906fab61f7f8b11f79fc6e6bf9bd05eaf /0make/makefu/pnp.makefile | |
| parent | b2de0815bd6f4387debd6918381eb66c76a2bb35 (diff) | |
| parent | e5b8e2e4a4e15f587586d308b159d657bf0ede9c (diff) | |
Merge remote-tracking branch 'pnp/master'
Diffstat (limited to '0make/makefu/pnp.makefile')
| -rw-r--r-- | 0make/makefu/pnp.makefile | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/0make/makefu/pnp.makefile b/0make/makefu/pnp.makefile deleted file mode 100644 index a18efe0e0..000000000 --- a/0make/makefu/pnp.makefile +++ /dev/null @@ -1,4 +0,0 @@ -deploy_host := root@pnp -nixpkgs_url := https://github.com/nixos/nixpkgs -nixpkgs_rev := 4c01e6d91993b6de128795f4fbdd25f6227fb870 -secrets_dir := /home/makefu/secrets/pnp |