-
Michael Catanzaro authored
There's no public API anymore and no extensions. Having private headers years later serves no purpose and is just confusing.
50dfe139
There's no public API anymore and no extensions. Having private headers years later serves no purpose and is just confusing.