tree d2ca85bedd3fb3c37196a7c5ea522b7f0e24a166
parent f1bcc3b094c7d189ddac2f4bbd9299ac9300f55c
author Ian Zerny <zerny@google.com> 1634131468 +0200
committer Ian Zerny <zerny@google.com> 1634131551 +0000

Implement -renamesourcefileattribute with the source file provider API.

Bug: 201269335
Change-Id: I1cdc8b562dd9505af1e32f80fa2b9839a86cf9e4