can see <https www pantsbuild org options html setting optio pantsbuild #general

Channels

github-notifications

Title

w

witty-crayon-22786

10/30/2019, 7:15 PM

can see https://www.pantsbuild.org/options.html#setting-option-values for more info.

4 Views