Permalink
Commits on Nov 15, 2018
  1. Remove unessential headers from public includes [take 2]. Closes #212 (

    giuliomoro authored and Phillip-Wang committed Nov 15, 2018
    …#215)
    
    Signed-off-by: Giulio Moro <giuliomoro@yahoo.it>