X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=random_dbtool.c;h=26a6b109c06df4b6373d11de9ee7d894bd5e28e7;hp=d970bd7f9226ad25d3bcc048bc7192e179639738;hb=be6da17752ba97c519e313d1d01cca7eed40671a;hpb=c589157169366fa47f2041cfe52e7019fbc19b35

diff --git a/random_dbtool.c b/random_dbtool.c
index d970bd7f..26a6b109 100644
--- a/random_dbtool.c
+++ b/random_dbtool.c
@@ -16,7 +16,7 @@
  *     Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111, USA.
  */
 
-/** \file random_dbtool. Simple database tool implementation. Feel free to modify.  */
+/** \file random_dbtool.c Simple database tool implementation. Feel free to modify.  */
 
 #include <sys/time.h> /* gettimeofday */
 #include "server.cmdline.h"