src/void_map.h
branchcpp_gui
changeset 6307 f40e88cff863
parent 6303 84c215fc8eb8
child 6308 646711c5feaa
--- a/src/void_map.h	Sun Apr 15 14:39:58 2007 +0000
+++ b/src/void_map.h	Sun Apr 15 17:04:44 2007 +0000
@@ -1,5 +1,7 @@
 /* $Id$ */
 
+/** @file void_map.h */
+
 #ifndef VOID_MAP_H
 #define VOID_MAP_H