changeset 584 | 33c6b6e755cd |
parent 561 | 6e0525ec5355 |
child 1172 | d7e25df22e88 |
1.1 --- a/tools/dimacs-to-lgf.cc Tue Apr 14 10:40:33 2009 +0100 1.2 +++ b/tools/dimacs-to-lgf.cc Wed Apr 15 02:04:37 2009 +0200 1.3 @@ -24,11 +24,10 @@ 1.4 /// (LGF). 1.5 /// 1.6 /// See 1.7 -/// \verbatim 1.8 -/// dimacs-to-lgf --help 1.9 -/// \endverbatim 1.10 -/// for more info on usage. 1.11 -/// 1.12 +/// \code 1.13 +/// dimacs-to-lgf --help 1.14 +/// \endcode 1.15 +/// for more info on the usage. 1.16 1.17 #include <iostream> 1.18 #include <fstream>