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

hundreds-breakfast-49010

05/15/2020, 12:31 AM
no, it's just a question of whether we turn the dynamic UI on or off, and this is only relevant while pants is running