Details
-
Improvement
-
Resolution: Done
-
Minor - P4
-
None
-
None
Description
The header isn't used publicly. It shouldn't be installed, and should be moved to the 'private' subdirectory.
Additionally, the prelude/postlude macro push/pop can be removed.