But would you do ` ui=dynamic` or ` no dynamic ui` pantsbuild #development

Channels

github-notifications

Title

# development

j

jolly-midnight-72759

05/15/2020, 12:40 AM

But would you do

--ui=dynamic

or

--(no-)dynamic-ui

?