| commit | e5972cde72d48af935e9db048d7501700455d149 | [log] [tgz] |
|---|---|---|
| author | Paul Wankadia <junyer@google.com> | Wed Jan 12 00:53:24 2022 -0800 |
| committer | Paul Wankadia <junyer@google.com> | Wed Jan 12 10:39:37 2022 +0000 |
| tree | 040ff60ad0a8c112d7b39d98b7588f9cc0d704b2 | |
| parent | cb5bbb250e07e7621a5cfe3818f8141e33967f0e [diff] |
Use Python 3 shebangs for make_unicode_*.py. Fixes #350. Change-Id: I0a2b76da3a1d5190f50b34db215329b773a342cf Reviewed-on: https://code-review.googlesource.com/c/re2/+/59550 Reviewed-by: Perry Lorier <perryl@google.com> Reviewed-by: Paul Wankadia <junyer@google.com>