diff options
| author | Rob Vermaas <rob.vermaas@gmail.com> | 2015-01-05 15:13:51 +0100 |
|---|---|---|
| committer | Rob Vermaas <rob.vermaas@gmail.com> | 2015-01-05 15:13:51 +0100 |
| commit | 1b167c964fd0edec62b63a3aac71bcca84b6de38 (patch) | |
| tree | 4e0720bebe2a1d4eb77b007e55a73f5b9fc55bb3 /scripts/nix-push.in | |
| parent | 8027083c3afaa5a05052518fe96b38f8dbafd6e2 (diff) | |
| parent | 14fb7378dfb2bddb45652cfffe1908d4ff1fc8ea (diff) | |
Merge pull request #431 from j-keck/master
small documentation fixes
Diffstat (limited to 'scripts/nix-push.in')
0 files changed, 0 insertions, 0 deletions