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

rough-minister-58256

05/08/2017, 6:06 PM
looks like you could either completely override that option to displace the main pants.ini - or append to it. depends how you use the option.