src/misc/countedptr.hpp
branchcpp_gui
changeset 6308 646711c5feaa
parent 6296 3205d21b662f
--- a/src/misc/countedptr.hpp	Sun Apr 15 17:04:44 2007 +0000
+++ b/src/misc/countedptr.hpp	Sat Apr 21 08:23:57 2007 +0000
@@ -1,5 +1,7 @@
 /* $Id$ */
 
+/** @file countedptr.hpp */
+
 #ifndef COUNTEDPTR_HPP
 #define COUNTEDPTR_HPP