comparison gui/ui/gtk/tools.c @ 33738:998f94e62a61

Remove unnecessary #include "gui/interface.h". Add necessary #includes instead.
author ib
date Thu, 07 Jul 2011 08:48:46 +0000
parents d9b805602aa1
children
comparison
equal deleted inserted replaced
33737:71c29e8ec68f 33738:998f94e62a61