https://pantsbuild.org/ logo
j

jolly-chef-92794

09/18/2015, 8:32 PM
I can do that easily but it makes sources/javadocs all-or-nothing still: if anything doesn’t have javadocs, no one gets javadocs.