diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-07-01 14:56:01 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-07-04 23:35:25 +0200 |
| commit | 3b2deca1d8213278b11feb57651262464d4daeeb (patch) | |
| tree | 0c3e2a37ce0c41ccd0f4b90ae6d88a3c5dfa57b8 | |
| parent | 2a3af15270d1c04745b1c42e61bf4d5f6dbc8ad5 (diff) | |
| download | haskell-3b2deca1d8213278b11feb57651262464d4daeeb.tar.gz | |
users-guide: Remove static field type from rts-flag
This was introduced by a cut-and-paste error.
| -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(): |