diff -r 91eca6fdee8d -r 6f41b8713b65 src/oldpool.h --- a/src/oldpool.h Sun Apr 01 09:38:43 2007 +0000 +++ b/src/oldpool.h Thu Apr 19 14:43:25 2007 +0000 @@ -1,5 +1,7 @@ /* $Id$ */ +/** @file oldpool.h */ + #ifndef OLDPOOL_H #define OLDPOOL_H