diff options
author | Miguel de Icaza <miguel@gnome.org> | 2002-12-09 21:01:35 +0300 |
---|---|---|
committer | Miguel de Icaza <miguel@gnome.org> | 2002-12-09 21:01:35 +0300 |
commit | fe731d50f623766bd436542ea453d65b5d77463e (patch) | |
tree | 51555605beb1c02a36224dcf7b84396172c27ea3 | |
parent | c65980d98fc703ce76a68de416a658dfad16ea7f (diff) |
Flush
svn path=/trunk/mono/; revision=9485
-rw-r--r-- | man/mono.1 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/man/mono.1 b/man/mono.1 index dcce5cb17f5..96bb890b0b7 100644 --- a/man/mono.1 +++ b/man/mono.1 @@ -42,6 +42,7 @@ specified in the MONO_CONFIG environment variable, if set. .TP .I "--noinline" Disables the code inliner. +.TP .SH DEBUGGING OPTIONS The following options are used to debug, or perfomance test the JIT compiler: |