diff options
| author | Martin Domke <mdomke@jackbird.local> | 2016-08-12 13:40:58 +0200 |
|---|---|---|
| committer | Martin Domke <mdomke@jackbird.local> | 2016-08-12 13:40:58 +0200 |
| commit | a71941e9fe047cc0dd586a3449cc22fec6999144 (patch) | |
| tree | 888cb2bf1b9d6442139f1fd047fb7176351e814e /docs/source/user | |
| parent | 9bfdc867cd1bfa75b990a5674ae56136069f1b66 (diff) | |
| download | flake8-a71941e9fe047cc0dd586a3449cc22fec6999144.tar.gz | |
Fix typo in documentation.
Diffstat (limited to 'docs/source/user')
| -rw-r--r-- | docs/source/user/options.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/source/user/options.rst b/docs/source/user/options.rst index 78bab1c..45948a5 100644 --- a/docs/source/user/options.rst +++ b/docs/source/user/options.rst @@ -565,7 +565,7 @@ .. option:: --tee - Also print output to stdout if output-file has ben configured. + Also print output to stdout if output-file has been configured. Command-line example: |