On Mar 12, 2012, at 1:43 PM, Sean Farley wrote: > 3. Move all private headers from include/private/ to include/petsc/ > (convention adopted by hundreds of packages) or include/petsc-private/ (like > Tk). > > I prefer include/petsc because petsc-private looks silly (and only Tk does > it). >
What you prefer doesn't matter.
