diff Gui/interface.c @ 21261:a2e02e6b6379

Rename config.h --> debug.h and include config.h explicitly.
author diego
date Sun, 26 Nov 2006 18:33:41 +0000
parents 308495b6d611
children 47cc96df63d0
line wrap: on
line diff