tree 15b4f32f0d7edde1e565186450150418454be5ce
parent 099c864c17031a983c1eab9d851238380996e721
author Ian Zerny <zerny@google.com> 1664456948 +0200
committer Ian Zerny <zerny@google.com> 1664524102 +0000

Add allow and disallow builders for keep options.

Bug: b/248408342
Change-Id: I1a8764a69e32eae46d28ee13949945f766dfdf68