diff options
author | Feng Xiao <xfxyjwf@gmail.com> | 2018-06-25 14:55:03 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-25 14:55:03 -0700 |
commit | 9fb55c8d29e33af8702cbdf48d6524f2f81e984e (patch) | |
tree | f50f2c5c9117e1f35a1be2facd130d4f008685d6 /post_process_dist.sh | |
parent | bc21385aa1f0e8b71ff9015564aba0bd437ae943 (diff) | |
parent | ee03556df93d39f3c3277f4d80e3fe8bc34cfcf4 (diff) |
Merge pull request #4824 from sschuberth/remove-exec-bit
Remove the executable bit from several source code files
Diffstat (limited to 'post_process_dist.sh')
0 files changed, 0 insertions, 0 deletions