diff options
author | Miguel de Icaza <miguel@gnome.org> | 2015-05-05 05:02:31 +0300 |
---|---|---|
committer | Miguel de Icaza <miguel@gnome.org> | 2015-05-05 05:02:31 +0300 |
commit | 6a2560229d9ebd96561d901932b02dc069b636eb (patch) | |
tree | 4da6e003760e19d4de749080c839bbc2e68c5f3f /man | |
parent | aa16c96cbb8c98503a04ff826d38f2a0a4d18925 (diff) |
Update, drop ssapre from the man page
Diffstat (limited to 'man')
-rw-r--r-- | man/mono.1 | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/man/mono.1 b/man/mono.1 index b248b0bb8c4..2658da659ce 100644 --- a/man/mono.1 +++ b/man/mono.1 @@ -363,7 +363,6 @@ The following optimization flags are implemented in the core engine: precomp Precompile all methods before executing Main sched Instruction scheduling shared Emit per-domain code - ssapre SSA based Partial Redundancy Elimination sse2 SSE2 instructions on x86 [arch-dependency] tailc Tail recursion and tail calls .fi |