diff options
| author | David Williams | 2015-12-20 23:15:37 +0000 |
|---|---|---|
| committer | David Williams | 2015-12-20 23:15:37 +0000 |
| commit | d627a571242aa529bed012b752016f74165b0ef6 (patch) | |
| tree | 1fb715ae602f3a60b7f463777cb6e28b5a7cca97 /production/git-submodule-checkout.sh | |
| parent | 6d3a7256b99124ff362668e9d86c808d3bdf24ab (diff) | |
| download | eclipse.platform.releng.aggregator-d627a571242aa529bed012b752016f74165b0ef6.tar.gz eclipse.platform.releng.aggregator-d627a571242aa529bed012b752016f74165b0ef6.tar.xz eclipse.platform.releng.aggregator-d627a571242aa529bed012b752016f74165b0ef6.zip | |
[releng] changed *.sh files to be "executable" (if the were not)
Diffstat (limited to 'production/git-submodule-checkout.sh')
| -rwxr-xr-x[-rw-r--r--] | production/git-submodule-checkout.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/production/git-submodule-checkout.sh b/production/git-submodule-checkout.sh index 359e2ef99..359e2ef99 100644..100755 --- a/production/git-submodule-checkout.sh +++ b/production/git-submodule-checkout.sh |