tree 13cf1e0d4f8c4913e5784de6802f40f9d8de92ea
parent a5b300cc3ef4115a647659495fc81eee0a3dfa9c
author Ian Zerny <zerny@google.com> 1596712864 +0200
committer Ian Zerny <zerny@google.com> 1596712864 +0200

Rename GraphLens.

Change-Id: I10d8af7d4cf21fdd259da8d3e026431823bb1001