Skip to content

Remove unused public headers

Paul Seyfert requested to merge pseyfert-delete_unused_headers into master

given these headers didn't compile without error/warning, it's suspected they weren't used at all.

(as discussed in !733 (merged))

Edited by Marco Cattaneo

Merge request reports