diff options
Diffstat (limited to 'docs/users_guide/flags.rst')
-rw-r--r-- | docs/users_guide/flags.rst | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/docs/users_guide/flags.rst b/docs/users_guide/flags.rst index ce3244b153..2d5d5c4a95 100644 --- a/docs/users_guide/flags.rst +++ b/docs/users_guide/flags.rst @@ -175,8 +175,6 @@ More details in :ref:`packages` :category: packages -.. flags-language-options:: - Language options ---------------- @@ -184,15 +182,6 @@ Language options can be enabled either by a command-line option ``-Xblah``, or by a ``{-# LANGUAGE blah #-}`` pragma in the file itself. See :ref:`options-language`. -.. tabularcolumns:: - | p{\dimexpr 0.36\textwidth-2\tabcolsep} | - p{\dimexpr 0.25\textwidth-2\tabcolsep} | - p{\dimexpr 0.11\textwidth-2\tabcolsep} | - p{\dimexpr 0.29\textwidth-2\tabcolsep} | - -.. flag-print:: - :type: table - :category: language Warnings -------- |