mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2026-08-06 03:06:58 -05:00
This changes the structure of `highlight_options` to a dictionary that maps language names to option dictionary. It allows to setting pygments options for multiple languages at once.