remove timer.h in logging.h: logging.h does not depend on it#264

guicho271828 wants to merge 2 commits into

aibasel:mainaibasel/downward:mainfrom

guicho271828:timer-loggingguicho271828/downward:timer-loggingCopy head branch name to clipboard