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