mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
Merge pull request #1666 from EricFromCanada/highlight_options
Add highlight_options configuration value
This commit is contained in:
Add highlight_options configuration value