| commit | 10f876d27355f393eb683587991ac90206271cb3 | [log] [tgz] |
|---|---|---|
| author | Paul Wankadia <junyer@google.com> | Sun Jun 09 15:38:18 2024 |
| committer | Paul Wankadia <junyer@google.com> | Mon Jun 10 15:37:55 2024 |
| tree | 6bd1605707418a74caaf3f428ba4b5e9ba033b0e | |
| parent | 273fb4ae39c922c1aca7a3dd20d45be9e0486afe [diff] |
More setting up to run mypy as per #496. We need `re2` to be a package, not a module, because it appears that modules can't have `.pyi` files, so munge the module into a package. Change-Id: I1a268875743390c32c0fb9cd58f6d83a670ce928 Reviewed-on: https://code-review.googlesource.com/c/re2/+/63270 Reviewed-by: Paul Wankadia <junyer@google.com> Reviewed-by: Alex Chernyakhovsky <achernya@google.com>