tree 18ca47eef1ef2045c8135e87f383d4ad23089b20
parent 891fa668468f201f6a0c16bbff76f26d8ae59e82
author Paul Wankadia <junyer@google.com> 1676311442 -0800
committer Paul Wankadia <junyer@google.com> 1676311549 +0000

Use `PUBLIC_HEADER` to install headers.

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