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

witty-crayon-22786

03/23/2016, 11:44 PM
...right after saying that, i realized that probably runs into the bootstrap problem of "can't use an option to set the default value of an option"