https://pantsbuild.org/ logo
e

enough-analyst-54434

04/30/2019, 8:56 PM
Did you find https://www.pantsbuild.org/options.html 'Basic vs. Advanced Options'? That seems both like the right place and the right words to me.
👍 1
a

aloof-angle-91616

04/30/2019, 8:57 PM
ooh, that's embarrassing. thank you very much!