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

hundreds-father-404

05/15/2020, 12:24 AM
Which would suggest an enum option, like
--ui=auto
,
--ui=dynamic
, etc
👍 1