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

happy-kitchen-89482

09/16/2015, 5:26 PM
I think the takeaway is to discourage people from setting tool options, and possibly work towards outright not supporting it.