1. Georg Brandl
  2. sphinx
  3. Pull requests

Pull requests

#80 Merged at 758465d
Repository
Deleted repository
Branch
default (d4718ee262db)
Repository
sphinx
Branch
default

domain override: fix issue #1009.

Author
  1. Franck Michea
Reviewers
Description

This commit fixes issue #1009. Simple issue, I added a test though, I hope it's not too much.

  • Issues #1009: TypeError in Sphinx.override_domain resolved

Comments (0)