diff options
Diffstat (limited to 'src/oldpool.h')
-rw-r--r-- | src/oldpool.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/oldpool.h b/src/oldpool.h index 1581cfc98..d66a3a576 100644 --- a/src/oldpool.h +++ b/src/oldpool.h @@ -1,6 +1,6 @@ /* $Id$ */ -/** @file oldpool.h */ +/** @file oldpool.h Base for the old pool. */ #ifndef OLDPOOL_H #define OLDPOOL_H |