diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2011-10-10 22:40:17 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2011-10-10 22:40:17 +0000 |
commit | 5090c34ee1251dd8f0a57332feff0c99489f7faa (patch) | |
tree | 6996c28baaf57574735631a505d27f96b8ee5280 /scripts/nix-push.in | |
parent | 8af7d766f0244d5b15d89ab2d2d66b0d63e8f576 (diff) |
* Set the executable bit on scripts.
Diffstat (limited to 'scripts/nix-push.in')
-rwxr-xr-x[-rw-r--r--] | scripts/nix-push.in | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/scripts/nix-push.in b/scripts/nix-push.in index dcdad5721..dcdad5721 100644..100755 --- a/scripts/nix-push.in +++ b/scripts/nix-push.in |