diff options
Diffstat (limited to 'docs/users_guide/conf.py')
| -rw-r--r-- | docs/users_guide/conf.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/users_guide/conf.py b/docs/users_guide/conf.py index b2311c4994..046b3c8cec 100644 --- a/docs/users_guide/conf.py +++ b/docs/users_guide/conf.py @@ -172,7 +172,6 @@ def setup(app): indextemplate='pair: %s; RTS option', doc_field_types=[ Field('since', label='Introduced in GHC version', names=['since']), - Field('static') ]) def increase_python_stack(): |