diff options
| author | Georg Brandl <georg@python.org> | 2022-07-30 09:19:24 +0200 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2022-07-30 10:54:28 +0200 |
| commit | 53667339e5f32f6d6a3edce7797c815d34395b51 (patch) | |
| tree | e9e3a384b5ca10dcbe1a9b181d39b3103a0a90ae /pygments/sphinxext.py | |
| parent | aaca62dab28d4924651e2cf3a6fce872ab522628 (diff) | |
| download | pygments-git-53667339e5f32f6d6a3edce7797c815d34395b51.tar.gz | |
cmdline: silently ignore ``BrokenPipeError``
This has come up a few times, and I see no good reason to catch
and report this error.
Fixes #2193
Diffstat (limited to 'pygments/sphinxext.py')
0 files changed, 0 insertions, 0 deletions