diff options
| author | Vagrant Cascadian <vagrant@debian.org> | 2019-09-23 12:28:26 -0700 |
|---|---|---|
| committer | Vagrant Cascadian <vagrant@debian.org> | 2019-09-23 12:29:12 -0700 |
| commit | 35fc0f4cd3387d45751a2c8a888a70e073aac348 (patch) | |
| tree | 7ee06ad9ed0f835187168c7e49a3ee6f432f8bb2 /gnu/packages/patches/grep-timing-sensitive-test.patch | |
| parent | 90c40ea209f1d8c069931c6b3cb9671b401fe21a (diff) | |
gnu: python-sphinxcontrib-htmlhelp: Fix typo.
* gnu/packages/sphinx (python-sphinxcontrib-htmlhelp)[synopsis]: Fix spelling
of "extension".
Diffstat (limited to 'gnu/packages/patches/grep-timing-sensitive-test.patch')
0 files changed, 0 insertions, 0 deletions