tree 8b60107b1aad196307c50e585ec7208798895016
parent 8631694021ccba79b6907b27ccca6f23575ea31a
author Victor Zverovich <victor.zverovich@gmail.com> 1468331975 -0700
committer Victor Zverovich <victor.zverovich@gmail.com> 1468331975 -0700

Fix inclusion of printf.h in the header-only config (#354)