# HG changeset patch
# User klao
# Date 1083072909 0
# Node ID 267dfa567ad3664bae04c2d8310eb8ad8a471ed5
# Parent  bb61e80e8aa1d1d401e1d89200f8eec3532e90f5
oops

diff -r bb61e80e8aa1 -r 267dfa567ad3 src/include/dimacs.h
--- a/src/include/dimacs.h	Tue Apr 27 11:58:14 2004 +0000
+++ b/src/include/dimacs.h	Tue Apr 27 13:35:09 2004 +0000
@@ -6,7 +6,8 @@
 #include <string>
 #include <vector>
 
-/// \file \brief Dimacs file format reader.
+/// \file
+/// \brief Dimacs file format reader.
 
 namespace hugo {