< witty crayon 22786> <https pantsbuild github io options re Pants #general

<@U06A03HV1>: <https://pantsbuild.github.io/option...

b

better-park-26723

02/03/2016, 12:44 AM

@witty-crayon-22786: https://pantsbuild.github.io/options_reference.html says the default is 4