diff options
author | mstaib <mstaib@google.com> | 2018-06-01 15:23:00 -0700 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-06-01 15:24:18 -0700 |
commit | e59cbd0cbd3560d71cb592a943460f2721a710da (patch) | |
tree | 530bd8b339dba0bc5b61b93f69267e07d21a4e21 /src/main/java/com/google/devtools/build/lib/cmdline | |
parent | e21127b3cce295e51eb4a494938d58fd0447927e (diff) |
Allow multiple trimming transition factories to be added.
If multiple trimming transition factories are added, they are composed in
the order they were added.
RELNOTES: None.
PiperOrigin-RevId: 198934666
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/cmdline')
0 files changed, 0 insertions, 0 deletions