src/core/random_func.hpp
branchnoai
changeset 10455 22c441f5adf9
parent 9869 6404afe43575
child 11126 72d4c9314c72
--- a/src/core/random_func.hpp	Mon May 05 12:35:38 2008 +0000
+++ b/src/core/random_func.hpp	Wed May 07 21:09:51 2008 +0000
@@ -1,6 +1,6 @@
 /* $Id$ */
 
-/** @file random_func.hpp */
+/** @file random_func.hpp Pseudo random number generator. */
 
 #ifndef RANDOM_FUNC_HPP
 #define RANDOM_FUNC_HPP