Closed jrgnicho closed 4 years ago
Removed the pretty print header and the few uses of it
Removed another pair of un-used files & their cmake references
Fixup
Added licenses to header files that did not have them
Added gazillions of source file license statements
Removed the pretty print header and the few uses of it
Removed another pair of un-used files & their cmake references
Fixup
Added licenses to header files that did not have them
Added gazillions of source file license statements