diff options
Diffstat (limited to 'src/oldpool.h')
-rw-r--r-- | src/oldpool.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/oldpool.h b/src/oldpool.h index 7b296715e..57ffa40f1 100644 --- a/src/oldpool.h +++ b/src/oldpool.h @@ -1,5 +1,7 @@ /* $Id$ */ +/** @file oldpool.h */ + #ifndef OLDPOOL_H #define OLDPOOL_H |