src/console_gui.cpp
changeset 10238 5076964d81a1
parent 10207 c291a21b304e
child 10276 b60b7e17db62
--- a/src/console_gui.cpp	Tue Oct 14 18:49:21 2008 +0000
+++ b/src/console_gui.cpp	Tue Oct 14 19:27:08 2008 +0000
@@ -1,6 +1,6 @@
 /* $Id$ */
 
-/** @file console.cpp Handling of the in-game console. */
+/** @file console_gui.cpp Handling the GUI of the in-game console. */
 
 #include "stdafx.h"
 #include "openttd.h"