tree 6ed015e7ab9a56a7b73b3a76830f798b73c31706
parent f7829f855bc31aaf0c0fcef55ef56adec84daa9e
author Mike Kruskal <mkruskal@google.com> 1680550570 -0700
committer fweikert <fwe@google.com> 1680801351 +0200

Add an option retention option to proto_library.

PiperOrigin-RevId: 521533139
Change-Id: Icda0b4a952703196084ca13ca2f0c33cbceb0c40