diff options
| -rw-r--r-- | polly/docs/Performance.rst | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/polly/docs/Performance.rst b/polly/docs/Performance.rst index 51716e0e6b6..4be9614352a 100644 --- a/polly/docs/Performance.rst +++ b/polly/docs/Performance.rst @@ -36,8 +36,6 @@ The following versions are used: For both cases the whole compilation was performed five times. The compile times in seconds are shown in the following table. -+----------------------------+ -| Compile Time | +--------------+-------------+ |Polly Disabled|Polly Enabled| +==============+=============+ |
