diff options
Diffstat (limited to 'docs/users_guide/using-optimisation.rst')
| -rw-r--r-- | docs/users_guide/using-optimisation.rst | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/users_guide/using-optimisation.rst b/docs/users_guide/using-optimisation.rst index 79cac66a17..3fcac45e11 100644 --- a/docs/users_guide/using-optimisation.rst +++ b/docs/users_guide/using-optimisation.rst @@ -1532,4 +1532,3 @@ by saying ``-fno-wombat``. is used. You can disable the second approach entirely by setting the threshold to 0. - |