https://pantsbuild.org/ logo
#development
Title
# development
j

jolly-midnight-72759

05/15/2020, 12:40 AM
But would you do
--ui=dynamic
or
--(no-)dynamic-ui
?