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

aloof-angle-91616

02/20/2020, 10:28 PM
https://www.pantsbuild.org/options.html describes things from the outside -- it might help you here