Doc: Replace the deprecated highlightlang directive by highlight. (#13377)
highlightlang is deprecated since April 2018 in Sphinx. See https://github.com/sphinx-doc/sphinx/pull/4845
S
Stéphane Wirtel committed
cbb6484573ae2058e55614b28d73b0c8478f9a70
Parent: fed02e1
Committed by Kushal Das <mail@kushaldas.in>
on 5/17/2019, 9:55:34 AM