Skip to content

Private headers

J.J. Green requested to merge private-headers into master

There are several header files which are used only internally; this are moved to a directory private and no longer installed.

Merge request reports