diff options
author | Googler <noreply@google.com> | 2017-06-30 17:23:18 +0200 |
---|---|---|
committer | Marcel Hlopko <hlopko@google.com> | 2017-07-03 09:06:18 +0200 |
commit | a3abdfea43d69780df526c0c27b0f7bd5b95e1da (patch) | |
tree | ae9ecaf27f2f98df8a2399be06055fef4c4595ef /tools/j2objc | |
parent | a9f2bc2ed97ae4e8f0357d543f40d89ea170e33f (diff) |
Adds executable permissions to j2objc_header_map.py.
RELNOTES: None.
PiperOrigin-RevId: 160648364
Diffstat (limited to 'tools/j2objc')
-rwxr-xr-x[-rw-r--r--] | tools/j2objc/j2objc_header_map.py | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/j2objc/j2objc_header_map.py b/tools/j2objc/j2objc_header_map.py index 090d54f823..090d54f823 100644..100755 --- a/tools/j2objc/j2objc_header_map.py +++ b/tools/j2objc/j2objc_header_map.py |