diff options
author | 2016-02-09 09:41:21 -0800 | |
---|---|---|
committer | 2016-02-09 09:41:21 -0800 | |
commit | a72a49044beed3e7bb0b7943fdd47afe5d2e9cd3 (patch) | |
tree | d3afa7ec45abde5a5f05a175c2bf0c34bbb7599e /tools/distrib/sanitize.sh | |
parent | 79e2b47bf194733c48491bfb2b1bacb597d2df0c (diff) |
Set sanitize script executable
Diffstat (limited to 'tools/distrib/sanitize.sh')
-rwxr-xr-x[-rw-r--r--] | tools/distrib/sanitize.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/distrib/sanitize.sh b/tools/distrib/sanitize.sh index 56644b1d65..56644b1d65 100644..100755 --- a/tools/distrib/sanitize.sh +++ b/tools/distrib/sanitize.sh |