WiP

[oweals/gnunet.git] / src / monkey / gdbmi_misc.c

diff --git a/src/monkey/gdbmi_misc.c b/src/monkey/gdbmi_misc.c
index 881bd5b7f5e2fbc8ba65e720f4899b79c5c1fd69..51088a757b4048340ff9d7b2e7e63aba955bf6e9 100644 (file)
--- a/src/monkey/gdbmi_misc.c
+++ b/src/monkey/gdbmi_misc.c
@@ -5,7 +5,7 @@
 
   Module: Miscellaneous commands.
   Comments:
-  GDB/MI commands for the "Miscellaneous Commands" section.@p
+  GDB/MI commands for the "Miscellaneous Commands" section.  @<p>
 
 @<pre>
 gdb command:       Implemented?