src/oldpool.h
changeset 6351 8d0b6cce8d6d
parent 6248 e4a2ed7e5613
child 7375 961ab798c4b6
--- a/src/oldpool.h	Wed Mar 21 13:19:01 2007 +0000
+++ b/src/oldpool.h	Wed Mar 21 15:19:33 2007 +0000
@@ -1,5 +1,7 @@
 /* $Id$ */
 
+/** @file oldpool.h */
+
 #ifndef OLDPOOL_H
 #define OLDPOOL_H