Skip to content

Clean up header files somewhat #84

Clean up header files somewhat

Clean up header files somewhat #84