tree 3b76694ca0ffbc96a68c06edd9e9593dfeb3bb95
parent f3c0709cd071a1802eaca1a38995a3445dec12d7
author Paul Wankadia <junyer@google.com> 1718999182 +0000
committer Paul Wankadia <junyer@google.com> 1718999431 +0000

Even more setting up to run mypy as per #496.

Change-Id: Ib1250ec954c0fecdaed606c41bbbbe00ff7bc1de
Reviewed-on: https://code-review.googlesource.com/c/re2/+/63371
Reviewed-by: Paul Wankadia <junyer@google.com>
Reviewed-by: Alex Chernyakhovsky <achernya@google.com>