diff src/gui.h @ 4662:a597b89c2db9

Print a few more variables upon --debug-paths.
author Mike Sperber <sperber@deinprogramm.de>
date Tue, 28 Jul 2009 15:49:37 +0200
parents 1e7cc382eb16
children e0db3c197671
line wrap: on
line diff